I'm a postdoc fellow at the Weizmann Institute of Science, working with David Harel. I graduated my Ph.D. at the department of computer science, at Weizmann Institute of Science. My Ph.D. advisor was Prof. Amir Pnueli, and since he passed away (on a very sad Monday, November 2, 2009 news release), Lenore D. Zuck took over.

My main research interest includes formal methods, software engineering, LTL synthesis, compositional reasoning. I'm very enthusiastic about practical applications of synthesis and compositional reasoning to other domains, mainly programming language, and software engineering, e.g., in my most recent project I developed a new temporal logic based aspect oriented programming language ( I'm also interested in applications of synthesis and compositional reasoning to less standard domains such as computational law, business processes, etc.

Check out my recent projects:

  • AspectLTL -- a new declarative style (temporal logic based) aspect oriented programming language.
  • SPLIT -- a fully automated compositional method for both safety and general LTL properties.
  • JTLV -- an IDE for developing verification algorithms.

I would like to thank Prof. Lenore D. Zuck, and Prof. David Harel for helping me get my tiny academic feet back on track.