Matthew Weaver (original) (raw)

I am a recent Ph.D. graduate from the Computer Science Department 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.

Teaching

I was an instrutor for the following course:

• Independent Study: Category Theory (Princeton University. Fall 2018, Fall 2021)

I was a teaching assistant for the following courses:

• COS 226: Data Structures and Algorithms (Princeton University. Spring 2019)
• COS 326: Functional Programming (Princeton University. Fall 2018)
• 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)