On this page you will find my research interests, contact information, and CV (Updated Oct. 2015).
Programming languages, type theory, category theory w.r.t. the analysis of type theories and programming languages, and logic in computer science.
Conference and workshop service:
- Program committee member for PLPV 2013.
Monday & Wednesday: 8:30am – 10:30am
Tuesday & Thursday: 3:00pm – 5:30pm
Office: Allgood Hall E-132