All posts by hillelk

About hillelk

My research interests are in modeling and analyzing complex systems (including reactive software and biology) using formal reasoning and synthesis methods. I am also interested in the application of visual languages to model and predict the behavior of complex systems. 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 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 David Harel and Amir Pnueli.