ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Robert Harper

Not registered as user yet

Name: Robert Harper

Bio: Robert Harper is a professor in the Computer Science Department at Carnegie Mellon University, where he has been a member of faculty since 1988. His main research interest is in the application of type theory to the design and implementation of programming languages and to the development of systems for mechanization of mathematics. Robert Harper is a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence at Carnegie Mellon, and is an ACM Fellow.

Country: United States

Affiliation: Carnegie Mellon University

Personal website: http://www.cs.cmu.edu/~rwh/

Research interests: Type theory, proof theory, and category theory applied to programming language semantics and implementation

Contributions

ESOP 2015Speaker of Unifying Speaker within the Speakers-track
Show activities from other conferences

ESOP 2015-profile
View general profile