Select Page

Ezgi BW 1I am a PhD student at MPI-SWS (Max Planck Institute for Software Systems) and Saarland University, advised by Deepak Garg.

My research interests are
  • type systems with an emphasis on refinements, dependent types, and complexity analysis
  • incremental computation
  • relational reasoning
  • bidirectional programming




I recently completed a research internship on bidirectional graph transformations at National Institute of Informatics (NII) in Tokyo, Japan. I worked on a proof system for guaranteeing free-edits to bidirectional graph transformations with Asst. Prof. Soichiro Hidaka at Programming Research Lab.


First Place (Graduate), ACM Student Reseach Competiton at POPL 2015, 2015

Recipient, Google Anita Borg Scholarship in 2012•


A Type System for Incremental Computational Complexity. (appeared on POPL’14 Student Poster Session and MPI-SWS’13 Advisory Board Meeting)

Workshops/Summer Schools

If you are interested in type systems or functional programming, here is a list of summer schools and workshops you can attend:

PLMW  co-located with POPL.

MGS organized  in UK.

OPLSS  in Eugene, OR.


For the 2014-2015 year, I am the graduate student representative of MPI-SWS.


I am a fan of ScienceSLAMs -10 minute entertaining research talks for human beings-. You can watch my ScienceSLAM talk from CEBIT’13.