Select Page

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

My research interests are
  • type systems with an emphasis on refinements, dependent types, and resource usage/execution cost
  • incremental computation
  • relational reasoning
  • bidirectional programming



Workshop Publications


I have attended the Dagstuhl Seminar on “Programming Language Techniques for Incremental and Reactive Computing“.

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, Mumbai, India

Recipient, Google Anita Borg Scholarship in 2012, EMEA.


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 was the graduate student representative at 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.


Max Planck Institute for Software Systems

Saarland Informatics Campus (SIC)
Campus E1 5, Room 309, Saarbrücken GERMANY