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

works:

18.?? Higher inductive types in cubical computational type theory - in preparation

18.01 Computational Higher Type Theory IV: Inductive Types - arXiv preprint

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

notes:

17.03 relative Kan completion in a nominal sets model (MURI meeting 2017)

teaching:

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

status:

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