I am an PhD student, working under the supervision of Prof. David Harel.

I am interested in different aspects of scenario-based programming and specification, as realized by the Live Sequence Chart (LSC) language. More specifically, I work on "smart" execution of LSC specifications, visualization of LSC specifications and automatic synthesis of reactive systems from LSC specifications. More on my research here.

In my spare time I am an amateur photographer (see my portfolio here), and also love cooking & baking. You can find me on Facebook & LinkedIn (neither highly maintained...)
I used to be active in child and youth educational activities as part of the Young@Science project in the Weizmann Institute, where I gave courses in CS, scientific-magic, math and physics.

I am a graduate of the Computer Science Department in the Technion.