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, log analysis, model inference, and model-based testing.
I joined the faculty of the School of Computer Science, Tel Aviv University, in summer 2012, as a (tenure-track) Senior Lecturer (assistant professor). Since January 2018 I am an Associate Professor with Tenure. 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).
In 2015-2016 I was on sabbatical as visiting scientist at MIT CSAIL.
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.