Evan Cavallo
I am a fourth-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 type theories
and their ilk.
works:
18.01 Computational higher type theory IV: Inductive types - preprint
15.12 Synthetic cohomology in homotopy type theory - master's thesis, code [then | now]
records:
18.03 MURI grant meeting: computational interpretation of cubical inductive types - slides
17.03 MURI grant meeting: relative Kan completion in a nominal sets model - notes
14.09 Oxford HoTT Workshop: the Mayer-Vietoris sequence and cubes - slides, note, video
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
10-15: undergraduate & honors master's student, CMU Math
Address mail to ecavallo, zip code cs.cmu.edu; alternatively, ghc9223
you must scream to your target, you must use other language than yours