I’m a computer science master’s student at the University of Minnesota, advised by Favonia. My current research is in programming languages and formal methods, specifically cubical type theory and synthetic homotopy theory.
Posts tagged with type-theory