Department of Computer Science

GitHub: www.github.com/mweav

I am a third year Ph.D. candidate in computer science at Princeton University, coadvised by Andrew Appel and Dan Licata. My research interests lie within the fields of categorical logic and programming language theory with a particular focus on type theory.

- Finite Inverse Categories as Signatures (with D. Tsementzis). arXiv preprint arXiv:1707.07339, 2018. [pdf]
- Automata Tutor and what we learned from building an online teaching tool (with L. Dâ€™Antoni, A. Weinert, and R. Alur). Bulletin of EATCS, 3(117). 2015. [pdf]

- Bicubical Directed Type Theory. General Examination, 2018. [pdf] [slides]
- Bicubical Directed Type Theory (with D. Licata). MURI Meeting, 2018. [slides] [video]
- Unfolding FOLDS (with D. Tsementzis). HoTT/UF, 2017. [pdf] [slides]
- CertiCoq: A verified compiler for Coq (with A. Anand, A. Appel, G. Morrisett, Z. Paraskevopoulou, R. Pollack, O. Savary Bélanger, and M. Sozeau). CoqPL, 2017. [pdf]
- Automata Tutor and what I learned from building an online teaching tool (with L. D'Antoni, R. Alur, D. Kini, M. Viswanathan, S. Gulwani, B. Hartmann). PLOOC, 2015.

- CIS 500: Software Foundations (University of Pennsylvania. Spring 2016)
- CIS 261: Discrete Probability, Stochastic Processes, and Statistical Inference (University of Pennsylvania. Fall 2014, Fall 2015)
- CIS 160: Mathematical Foundation of Computer Science (University of Pennsylvania. Summer 2014, Summer 2015)

- B.A. in Mathematics. University of Pennsylvania, 2015.