Scholar
Robert Harper
Google Scholar ID: sCPRIK0AAAAJ
Professor of Computer Science, Carnegie Mellon University
Citations & Impact
Citations
2,729
H-index
25
i10-index
63
Publications
20
Co-authors
50
list available
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Published numerous papers such as 'Recursive Logical Relations for Intuitionistic Linear Session Types' (Preprint, October 2025), 'Mechanizing Synthetic Tait Computability in Istari' (Preprint, September 2025), etc.; received awards including the ACM SIGPLAN Programming Languages Achievement Award (2021), IEEE LICS Test of Time Award (2007), etc.; authored books like 'Practical Foundations for Programming Languages (Second Edition)', etc.
Research Experience
- Currently a professor in the Department of Computer Science at Carnegie Mellon University; has been involved in multiple research projects, including collaboration with Stephanie Balzer on session types for concurrency, and with Karl Crary on certifying compilers and logical frameworks, etc.
Education
- Insufficient information, the HTML content does not provide specific educational background information.
Background
- Research Interests: programming languages, type theory, formal verification, etc. Professional Field: Computer Science.
Miscellany
- Personal interests and hobbies are not mentioned in the HTML content; other information: serves on the editorial boards of several journals, such as 'Foundations and Trends in Programming Languages'; involved in multiple research funding projects, such as AFOSR-funded MURI grant A210038S002, etc.
