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.
View all posts by hillelk →