Rolling the dice.
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.
-
Carnegie Mellon University
- Pittsburgh PA
-
14:16
(UTC -04:00) - http://www.cs.cmu.edu/~rwh
Highlights
- Pro
Stars
Language
Sort by: Recently starred
My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
collaboration on work in progress
Voevodsky's original development of the univalent foundations of mathematics in Coq