Robert Harper

Robert Harper is a renowned computer scientist, best known for his work on the Programming Language Foundations course at Carnegie Mellon University, where he is a professor. His research focuses on the design and implementation of programming languages, including type theory and functional programming, which have been influenced by the work of Robin Milner and Per Martin-Löf. Harper's work has been shaped by his collaborations with Daniel Spoonhower and Karl Crary, and has connections to the Haskell (programming language) and Standard ML communities. He has also been involved in the development of the Proof Assistant Coq, which is widely used in the Formal Verification community, including researchers at INRIA and Microsoft Research.

● Early Life and Education

Robert Harper was born in the United States and grew up in a family of Massachusetts Institute of Technology alumni, which likely influenced his interest in computer science and mathematics. He pursued his undergraduate degree at Cornell University, where he was exposed to the work of Robert Constable and Butler Lampson, and later earned his Ph.D. from Stanford University, under the supervision of John Mitchell and Joseph Sifakis. During his time at Stanford University, Harper was also influenced by the work of Donald Knuth and Robert Tarjan, and was part of a research community that included Vaughan Pratt and Niklaus Wirth. His graduate studies were supported by a National Science Foundation fellowship, which allowed him to collaborate with researchers at University of California, Berkeley and University of Cambridge.

● Career

Harper began his academic career as a postdoctoral researcher at University of Edinburgh, where he worked with Philip Wadler and Gordon Plotkin on the design of functional programming languages. He later joined the faculty at Carnegie Mellon University, where he has taught courses on programming languages, type theory, and software engineering, and has supervised students who have gone on to work at Google, Microsoft, and IBM. Harper has also held visiting positions at University of Oxford, University of Cambridge, and École Polytechnique, and has collaborated with researchers at MIT CSAIL and University of California, Los Angeles. His work has been supported by grants from the National Science Foundation, Defense Advanced Research Projects Agency, and European Research Council, and has connections to the ACM SIGPLAN and IEEE Computer Society communities.

● Research and Contributions

Harper's research has focused on the design and implementation of programming languages, with a particular emphasis on type theory and functional programming. He has made significant contributions to the development of Standard ML and Haskell (programming language), and has worked on the design of proof assistants such as Coq and Isabelle (proof assistant). Harper's work has been influenced by the Curry-Howard correspondence and the Brouwer-Heyting-Kolmogorov interpretation, and has connections to the category theory and denotational semantics communities, including researchers at University of Chicago and University of Pennsylvania. He has also collaborated with researchers at Bell Labs and Xerox PARC on the development of programming languages and software engineering tools, and has been involved in the organization of conferences such as ICFP and POPL.

● Awards and Honors

Harper has received numerous awards and honors for his contributions to computer science, including the ACM SIGPLAN Distinguished Service Award and the Carnegie Mellon University Teaching Excellence Award. He is a fellow of the Association for Computing Machinery and a member of the National Academy of Engineering, and has been recognized for his service to the computer science community, including his work on the ACM SIGPLAN Executive Committee and the IEEE Computer Society Board of Governors. Harper has also received awards from the National Science Foundation and the Defense Advanced Research Projects Agency, and has been honored by the University of Edinburgh and the University of Cambridge for his contributions to computer science education and research.

● Personal Life

Outside of his academic pursuits, Harper is an avid hiker and musician, and has been known to combine his love of computer science and music by composing algorithmic music. He is also a passionate advocate for computer science education and has worked to promote diversity and inclusion in the computer science community, including his involvement with the National Center for Women & Information Technology and the Computer Science Teachers Association. Harper has been married to his wife, a University of Pittsburgh professor, for over 20 years, and has two children who are both pursuing careers in science, technology, engineering, and mathematics fields, including Stanford University and Massachusetts Institute of Technology. He is also a fan of the Pittsburgh Steelers and the Pittsburgh Pirates, and enjoys attending Carnegie Mellon University football games. Category:Computer scientists