Hillel Kugler

 

Scientist

Biological Computation

Computational Science Laboratory

Microsoft Research Cambridge

Tools and project websites:

Z3-4Biology @ Rise4Fun

Stem Cells

Research Interests:

  • Systems Biology (Modeling and Analysis of Biological Systems, in particular in the fileds of developmental biology and stem cells)
  • Software and System Engineering (Visual Languages, Formal Verification, Synthesis)

Publications : Bibtex file 

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

 

Publications