Brian Aydemir

Graduate student (advisor: Stephanie Weirich)
Department of Computer and Information Science
University of Pennsylvania

Research

My research interests include mechanized metatheory for programming languages, practical programming with dependent types, and, more generally programming languages, logic, and type theory.

Recent work:
- Abstracting Syntax [draft] (with Stephanie Weirich and Steve Zdancewic)
- Engineering Formal Metatheory [POPL 2008] (with Arthur Chargéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich)
All online publications (and drafts)
Projects: I'm involved in Mechanized Metatheory for the Masses and the Penn PL Club

Activities

Using Proof Assistants for Programming Language Research (or, How to write your next POPL paper in Coq), a tutorial at POPL 2008

Teaching

I taught CSE 399-004: Python Programming in Spring 2007
I was a teaching assistant for CIS 500 in Fall 2005 and Fall 2006.
I was a teaching assistant for CSE 121 in Spring 2006. The course has since been renamed CIS 121.

Personal

I have a separate page (kitby's Corner) devoted to assorted clippings and photos from my life outside of academics.

Contact Information

Office: Levine 565
Email: baydemir@cis.upenn.edu
Phone (cell): +1 (267) 760-2162
Phone (office): +1 (215) 573-2580
Fax: +1 (215) 898-0587
Postal address:
CIS Dept., Levine Hall
3330 Walnut Street
Philadelphia, PA 19104, USA