Hillel Kugler
Scientist
Computational Biology Group
Microsoft Research 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
Research Interests:
- Systems Biology (Modeling and Analysis of Biological Systems)
- Software and System Engineering (Statecharts, Live Sequence Charts, Formal Verification, Synthesis)
Post-doctoral and Ph.D positions available, for information please email me with an updated CV.
Publications
- D. Harel, H. Kugler, S. Maoz, and I. Segall, Accelerating Smart Play-Out, Springer Verlag, January 2010
- H. Kugler and I. Segall, Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications, in Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09), Springer Verlag, March 2009
- H. Kugler, C. Plock, and A. Pnueli, Controller Synthesis from LSC Requirements, in Fundamental Approaches to Software Engineering (FASE'09), Springer Verlag, March 2009
- D. Harel, H. Kugler, S. Maoz, and I. Segall, How Hard is Smart Play-Out? On the Complexity of Verification-Driven Execution, in Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India), 2009
- Harel, D., Segall, I., Kugler, H., Setty, and Y., Crafting Game-Models using Reactive System Design , in Future Play, Association for Computing Machinery, Inc., November 2008
- Kam N., Kugler H., Marelly R., Appleby L., Fisher J., A. Pnueli, D. Harel, M.J. Stern, and E.J.A. Hubbard, A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification , in Developmental Biology, Elsevier , August 2008
- P. Combes, D. Harel, and H. Kugler, Modeling and Verification of a Telecommunication Application using Live Sequence Charts and the Play-Engine Tool, in Software and Systems Modeling, vol. 7, no. 2, March 2008
- H. Kugler, C. Plock, and A. Pnueli, Synthesizing Reactive Systems from LSC Requirements using the Play-Engine, in Companion to the 22nd ACM SIGPLAN conference on object oriented programming systems and applications (OOPSLA’07), October 2007
