Loading AI tools
Computer scientist From Wikipedia, the free encyclopedia
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]
Robert Harper | |
---|---|
Born | Robert William Harper, Jr. July 15, 1957 |
Other names | Bob Harper |
Education |
|
Known for | |
Awards |
|
Scientific career | |
Fields | Computer science |
Institutions | |
Doctoral students | |
Website | www |
Harper made major contributions to the design of the Standard ML programming language and the LF logical framework.
Harper was named an ACM Fellow in 2005 for his contributions to type systems for programming languages. In 2021, he received the ACM SIGPLAN Programming Languages Achievement Award for his "foundational contributions to our understanding of type theory and its use in the design, specification, implementation, and verification of modern programming languages".[4]
In 2003–2008, Harper hosted the progressive talk show Left Out on WRCT-FM with fellow host and Carnegie Mellon University School of Computer Science faculty member Danny Sleator.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.