Overview

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 was on sabbatical as visiting scientist at MIT CSAIL.

Current funding (partial list)

  • ERC Starting Grant: SYNTECH (started 2015)
  • GIF (German-Israeli Foundation) Grant: C&C Views (started 2015, with Bernhard Rumpe)

Recent publications (partial list)

Recent service (partial list)

  • PC member for ASE'13, ASE'14, MODELS'14, ICSE'15 (RC), ASE'15 (Distinguished Reviewer Award), MODELS'15, ECOOP'16, ASE'16 (ERP), ME'16, OCL'16, ICSE'18
  • Reviewer for TOSEM, IEEE TSE, SoSyM, Computing Surveys, JSME