My research interests are in Software Engineering, specifically software and systems modeling, modeling languages, and formal methods. I have recently worked on synthesis of structure and behavior, differencing, and specification mining.
I joined the faculty of the School of Computer Science, Tel Aviv University, in summer 2012, as a (tenure-track) Senior Lecturer (assistant professor). I received my B.Sc and M.Sc. in Computer Science from Tel Aviv University and my PhD in Computer Science from the Weizmann Institute (2009). Before joining TAU as a faculty member I was post-doc research fellow at RWTH Aachen University, Germany (2010-2012).
I am actively recruiting new MSc students, PhD students, and post-docs. Positions come with full funding for a number of years. Please contact me for details.
In 2015-2016 I am on sabbatical as visiting scientist at MIT CSAIL.