![[mugshot]](images/mugshot.jpg)
I am a fifth year graduate student working with Stephanie Weirich in the Computer and Information Science Department at the University of Pennsylvania. I am a member of the Penn PL Club.
My current research interests focus mainly on mechanized metatheory for programming languages. I am also interested in practical programming with dependent types, logic, type theory, and programming languages in general.
Recent papers (complete list)
- LNgen: Tool Support for Locally Nameless Representations [draft] (with Stephanie Weirich)
- Abstracting Syntax [technical report] (with Stephanie Weirich and Steve Zdancewic)
- Engineering Formal Metatheory [POPL 2008] (with Arthur Chargéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich)
Activities
- Coq for Programming Language Metatheory, a course with Stephanie Weirich at the 2008 Oregon Summer School
- Using Proof Assistants for Programming Language Research (or, How to write your next POPL paper in Coq), a tutorial by the Penn PL Club at POPL 2008
Teaching
- CSE 399-004: Python Programming (Spring 2007)
- Teaching assistant for CIS 500 (Fall 2005, Fall 2006)
- Teaching assistant for CSE/CIS 121 (Spring 2006)
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