e cavallo

I am a third-year Ph.D. student at Carnegie Mellon University, part of the Principles of Programming group. I am advised by Robert Harper and currently work on computational higher type theory and the like.

15.12 Synthetic Cohomology in Homotopy Type Theory - master's thesis, code [then | now]
14.09 Oxford HoTT Workshop talk on Mayer-Vietoris and cubes - slides, note, video
16.F - TA for 15-317 Constructive Logic
15.F - TA for 15-814 Types and Programming Languages
15.S - TA for 15-312 Foundations of Programming Languages
14.F - TA for 15-317 Constructive Logic

15-??: Ph.D. student, CMU Computer Science Dept.
10-15: undergraduate & honors master's student, CMU Math Dept.
Address mail to ecavallo, zip code cs.cmu.edu; alternatively, ghc9223

you must scream to your target, you must use other language than yours