My name is Robert Harper, and I am a Professor of Computer Science at Carnegie Mellon University, where I have been a member of the faculty of the Computer Science Department since 1988. My main research interest is in the application of constructive type theory to the design and implementation of programming languages and to the development of systems for mechanization of mathematics. I’m probably best known for my work on the design and implementation of Standard ML, for the introduction of the LF logical framework, and for the development of the concept of a type-directed certifying compiler based on typed intermediate languages. I have led research projects on computer networking, scientific computing, design and semantics of programming languages, grid computing, parallel scientific computing, mechanized meta-theory for programming languages, and on the theory of types. I am actively engaged in both undergraduate and graduate teaching. Most recently, I led the effort to revise the introductory curriculum in Computer Science, which is currently being rolled out. I have written and co-authored several books, including The Definition of Standard ML, Programming in Standard ML, and, most recently, Practical Foundations for Programming Languages (which is currently available on the web in draft form). I am an ACM Fellow, a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence, and co-recipient of the ACM PLDI Most Influential Paper Ten Years Later award, and the IEEE LICS Test of Time Award (presented for the most influential paper twenty years after publication).
Disclaimer: The opinions expressed herein are those of the author, and should not be construed as representing the views of Carnegie Mellon University, the National Science Foundation, or any other agency or organization.