Carlo Angiuli

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

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 am interested in programming language theory, applied logic, and the parts of mathematics not involving numbers.

I am currently working on programming applications of homotopy type theory, an extension of Martin-Löf type theory to a higher-categorical setting.



Other coordinates

GitHub Facebook Twitter