Prof. Robert Harper — Research Profile

Carnegie Mellon University · Computer Science Department

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.

Information sourceChecked Jul 22, 2026

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

About

Prof. Robert Harper at Carnegie Mellon University Computer Science Department lists Programming Languages, Type Theory, Formal Methods as their registered research area.

Research keywords

Programming LanguagesType TheoryFormal Methods

Faculty / research website

Other labs in this department

Aayush Jain 교수 연구실
Theory, Cryptography
Aditi Raghunathan 교수 연구실
Artificial Intelligence, Machine Learning
Andrew Pavlo 교수 연구실
Systems, Databases, Distributed Systems
Aviral Kumar 교수 연구실
Artificial Intelligence, Machine Learning, Robotics
Chris Donahue 교수 연구실
Artificial Intelligence, Machine Learning
Christos Faloutsos 교수 연구실
Artificial Intelligence, Systems, Databases, Data Mining

See all labs in this department