I am a faculty member at Bar-Ilan University since 2015. Before joining the faculty of Engineering at Bar-Ilan I was a researcher at Microsoft Research in Cambridge. Previously I was a member of Jane Hubbard's lab at the Biology Department and a member of the Analysis of Computer Systems Group , Department of Computer Science, Courant Institute, New York University. I did my Ph.D at the Weizmann Institute under the supervision of Prof. David Harel and Prof. Amir Pnueli. My research interests are in modeling and analyzing complex systems (including biological systems and reactive software) using formal reasoning and synthesis methods. I am also interested in the application of visual languages to model the behavior of reactive systems. I also work on development of new computational methods and tools towards enabling a deeper understanding of biological computation.

I am a faculty member at Bar-Ilan University since 2015. Before joining the faculty of Engineering at Bar-Ilan I was a researcher at Microsoft Research in Cambridge. Previously I was a member of Jane Hubbard's lab at the Biology Department and a member of the Analysis of Computer Systems Group , Department of Computer Science, Courant Institute, New York University. I did my Ph.D at the Weizmann Institute under the supervision of Prof. David Harel and Prof. Amir Pnueli. My research interests are in modeling and analyzing complex systems (including biological systems and reactive software) using formal reasoning and synthesis methods. I am also interested in the application of visual languages to model the behavior of reactive systems. I also work on development of new computational methods and tools towards enabling a deeper understanding of biological computation.