Carlo Angiuli

9005 Gates Hillman Center
School of Computer Science
Carnegie Mellon University
5000 Forbes Ave
Pittsburgh, PA 15213

cangiuli at

I am a Ph.D. student in the Computer Science Department at Carnegie Mellon University, advised by Robert Harper. I previously studied at Indiana University Bloomington, where I received a B.S. in Mathematics and in Computer Science.

I study the mathematics of programming languages and their type systems. My current research interests focus on computational aspects of homotopy type theory and related systems. In particular, I develop univalent type theories with computational content, and study their programming applications. But I find anything with logical relations or dependent types interesting.

Preprints (selected)




Other coordinates

GitHub Facebook Twitter