Dr. Hillel Kugler

  • Formal Verification and Synthesis
  • Visual Languages
  • Biological Computation
  • Developmental Biology



My research interests are in modeling and analyzing complex systems (including biological systems and reactive software) using formal reasoning and synthesis methods. I am also interested in the application of visual languages to model the behavior of reactive systems. I work on development of new computational methods and tools towards enabling a deeper understanding of biological computation.


1. H. Kugler, S-J. Dunn, and B. Yordanov. Formal Analysis of Network Motifs. CMSB’18, 2018.
2. B. Yordanov, S-J. Dunn, H. Kugler, A. Smith, G. Martello and S. Emmott. A Method to Identify and Analyze Biological Programs through Automated Reasoning, in npj Systems Biology and Applications, Nature Publishing Group, 2016
3. K. Atwell, Z. Qin, D. Gavaghan, H. Kugler, E.J.A. Hubbard, and J.M. Osborne Mechano-logical model of C. elegans germ line suggests feedback on the cell cycle, in Development, Advanced Onlne Article, October 2015.
4. Y. Shavit, B. Yordanov, S-J. Dunn, C.M. Wintersteiger, Y. Hamadi, and H. Kugler, Switching Gene Regulatory Networks, in 10th International Conference on Information Processing in Cells and Tissues (IPCAT 2015), Springer, September 2015.
5. N. Paoletti, B. Yordanov, Y. Hamadi, C.M. Wintersteiger, and H. Kugler, Analyzing and Synthesizing Genomic Logic Functions, in CAV’14, Springer, 2014.



I am currently looking for talented and highly motivated students and postdocs for several new projects in the areas of Formal Verification of Software and Hardware Systems, Reasoning about Deep Learning, Autonomous Vehicle Protocols, Design of novel Biological Computing Devices, Computational methods to study Stem Cells and Developmental Biology.