Robert Harper (computer scientist)

Robert Harper
Robert Harper
	Robert Harper in 2006
Born	Robert William Harper, Jr.; July 15, 1957 (age 67)
Other names	Bob Harper
Education	M.Sc.; Cornell University (1983); P.D.; Cornell University (1985);
Known for	Standard ML; LF logical framework; Type theory; Functional programming;
Awards	ACM Fellow, 2005; ACM SIGPLAN Most Influential PLDI Paper, 2006; LICS Test of Time Award, 2007; ACM SIGPLAN Prog Lang Achievement Award, 2021;
	Scientific career
Fields	Computer science
Institutions	University of Edinburgh; Carnegie Mellon;
Doctoral students	Benjamin Pierce; Greg Morrisett; Tom Murphy;
Website	www.cs.cmu.edu/~rwh/

Robert William Harper, Jr. (born 1957^[2]) is a computer science professor at Carnegie Mellon University who works in programming language research. Prior to his position at Carnegie Mellon, Harper was a research fellow at the University of Edinburgh.^[3]

^ ^a ^b ^c Robert Harper at the Mathematics Genealogy Project
^ Harper, Robert (2016). Practical Foundations for Programming Languages (2nd ed.). Cambridge University Press. p. iv.
^ Robert Harper on LinkedIn

Robert Harper
Robert Harper in 2006
Born	Robert William Harper, Jr. (1957-07-15) July 15, 1957 (age 67)
Other names	Bob Harper
Education	M.Sc.; Cornell University (1983) P.D.; Cornell University (1985)
Known for	Standard ML LF logical framework Type theory Functional programming
Awards	ACM Fellow, 2005 ACM SIGPLAN Most Influential PLDI Paper, 2006 LICS Test of Time Award, 2007 ACM SIGPLAN Prog Lang Achievement Award, 2021
Scientific career
Fields	Computer science
Institutions	University of Edinburgh Carnegie Mellon
Doctoral students	Benjamin Pierce^[1] Greg Morrisett^[1] Tom Murphy^[1]

Website	www.cs.cmu.edu/~rwh/