Carlo Angiuli

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

ca...@cs.cmu.edu
http://www.carloangiuli.com/blog

I am a fourth-year 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.

Research

I am interested in programming language theory, applied logic, and the parts of mathematics not involving numbers.

I am currently working on computational aspects of the homotopy type theory project, which interprets Martin-Löf type theory in a homotopical (or, higher categorical) setting, by allowing non-trivial higher-dimensional structure in the type theory.

Teaching

• Summer I 2014 — Instructor for Principles of Functional Programming (15-150).
• Fall 2013 — TA for Type Systems for Programming Languages (15-814) with Karl Crary.
• Fall 2012 — TA for Constructive Logic (15-317) with Karl Crary.

Publications

• C. Angiuli, E. Morehouse, D. R. Licata, and R. Harper. Homotopical Patch Theory. ACM SIGPLAN International Conference on Functional Programming (ICFP), 2014. (Expanded Version, Slides, Video)
• Angiuli, C. and Bercovici, H. The number of extremal components of a rigid measure. Journal of Combinatorial Theory, Series A, Volume 118, Issue 7, 1925-1938. October 2011. (PDF, arXiv)

Other coordinates