Robert William Harper Jr. (born July 15, 1957) is an American computer science professor at Carnegie Mellon University specializing in programming language research, particularly type theory and functional programming. He earned a master's degree in 1983 and a PhD in 1985, both from Cornell University, and previously held a research fellow position at the University of Edinburgh. He is known for his work on Standard ML and the LF logical framework, and received the ACM SIGPLAN Most Influential PLDI Paper Award in 2006, the LICS Test of Time Award in 2007, and the ACM SIGPLAN Programming Languages Achievement Award in 2021. He was named an ACM Fellow in 2005.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.