Robert Harper
University/Research Lab: Carnegie Mellon University
Location: (Pittsburgh, PA)
Personal Research Web Page: http://www.cs.cmu.edu/~rwh
Keywords: Type theory, proof theory, category theory, semantics, verification, logical frameworks, compilers, functional programming, module systems, dependent types, homotopy type theory
Location: (Pittsburgh, PA)
Personal Research Web Page: http://www.cs.cmu.edu/~rwh
Keywords: Type theory, proof theory, category theory, semantics, verification, logical frameworks, compilers, functional programming, module systems, dependent types, homotopy type theory
Posted on: Friday, May 6th, 2011
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Programming Languages / Compilers
Research Interests:
Please see my web page cited above.
Contact Information:
Electronic mail preferred, or you may phone me at 412 268 3675.
