My research interests are in modeling and analyzing complex systems (including biological systems and reactive software)\u00a0using formal reasoning and synthesis methods. I am also interested in the application of visual languages to model the behavior of reactive\u00a0systems. I work on development of new computational methods and tools towards enabling a deeper understanding of biological computation.<\/p>\n
For Students and Postdocs:<\/strong><\/p>\n \u05de\u05ea\u05e2\u05e0\u05d9\u05e0\u05d9\u05dd \u05d1\u05d7\u05d9\u05e9\u05d5\u05d1 \u05d1\u05d9\u05d5\u05dc\u05d5\u05d2\u05d9, \u05db\u05dc\u05d9\u05dd \u05de\u05ea\u05e7\u05d3\u05de\u05d9\u05dd \u05dc\u05e0\u05d9\u05ea\u05d5\u05d7 \u05ea\u05d5\u05db\u05e0\u05d4, \u05d0\u05d9\u05de\u05d5\u05ea \u05e9\u05dc \u05de\u05e2\u05e8\u05db\u05d5\u05ea \u05de\u05d5\u05e8\u05db\u05d1\u05d5\u05ea \u05d0\u05d5 \u05e4\u05ea\u05e8\u05d5\u05df \u05d7\u05d9\u05d3\u05d5\u05ea \u05de\u05ea\u05de\u05d8\u05d9\u05d5\u05ea? \u05e6\u05e8\u05d5 \u05e7\u05e9\u05e8 \u05dc\u05d1\u05d3\u05d5\u05e7 \u05d0\u05e4\u05e9\u05e8\u05d5\u05ea \u05dc\u05d4\u05e9\u05ea\u05dc\u05d1 \u05d1\u05de\u05d7\u05e7\u05e8 \u05dc\u05ea\u05d0\u05e8\u05d9\u05dd \u05de\u05ea\u05e7\u05d3\u05de\u05d9\u05dd \u05d0\u05d5 \u05d1\u05e4\u05e8\u05d5\u05d9\u05e7\u05d8 \u05d1\u05ea\u05d5\u05d0\u05e8 \u05e8\u05d0\u05e9\u05d5\u05df<\/p>\n I am currently looking for talented and highly motivated students and postdocs, if you are interested please email me with a CV to hillelk at biu.ac.il<\/p>\n Selected Publications:<\/strong><\/p>\n M. Aluf-Medina, T. Korten, A. Raviv, D.V. Nicolau Jr. and H. Kugler. Formal Semantics and Verification of Network-Based Biocomputation Circuits. To appear, VMCAI'21, 2021.<\/p>\n H. Kugler, S-J. Dunn, and B. Yordanov. Formal Analysis of Network Motifs.\u00a0CMSB<\/em>'18, 2018.<\/p>\n B. Yordanov, S-J. Dunn, H. Kugler, A. Smith, G. Martello and S.\u00a0Emmott.\u00a0A Method to Identify and Analyze Biological Programs through\u00a0Automated Reasoning<\/a>,\u00a0in\u00a0npj\u00a0Systems Biology and Applications,\u00a0<\/em>Nature Publishing Group, 2016<\/p>\n K. Atwell, Z. Qin, D. Gavaghan, H. Kugler, E.J.A. Hubbard, and J.M. Osborne \u00a0Mechano-logical model of C. elegans germ line suggests feedback on the cell cycle<\/a>, in Development<\/i>, Advanced Onlne Article, October 2015.<\/p>\n Y. Shavit, B. Yordanov, S-J. Dunn, C.M. Wintersteiger, Y. Hamadi, and H. Kugler, Switching Gene Regulatory Networks<\/a>, in 10th International Conference on Information Processing in Cells and Tissues (IPCAT 2015)<\/i>, Springer, September 2015.<\/p>\n N. Paoletti, B. Yordanov, Y.\u00a0Hamadi, C.M. Wintersteiger, and H. Kugler, Analyzing and Synthesizing Genomic Logic Functions<\/a>, in CAV'14<\/i>, Springer, \u00a02014.<\/p>\n B. Yordanov, C.M. \u00a0Wintersteiger, Y. Hamadi, and H.Kugler, SMT-based Analysis of Biological Computation<\/a>, in NASA Formal Methods Symposium 2013<\/i>, Springer Verlag, 2013.<\/p>\n B.\u00a0 Yordanov, C.M. Wintersteiger, Y. Hamadi, A. Phillips, and H. Kugler, <\/span>Functional Analysis of Large-scale DNA Strand Displacement Circuits<\/a>, in <\/span>International Conference on DNA Computing and Molecular Programming<\/i>, vol. 8141, pp. 189-203, Springer, 2013<\/span><\/p>\n Y. Setty, D.Dalf\u00f3, D.Z. Korta, EJA. Hubbard, and H. Kugler, A model of stem cell population dynamics: in-silico analysis and in-vivo validation<\/a>, in Development<\/i>, vol. 139, \u00a02012.<\/p>\n H. Kugler, C. Plock, and A. Roberts, Synthesizing Biological Theories<\/a>, in Computer Aided Verification (CAV'11)<\/i>, Springer Verlag, July 2011.<\/p>\n H. Kugler, C. Plock, and A. Pnueli, Controller Synthesis from LSC Requirements<\/a>, in Fundamental Approaches to Software Engineering (FASE'09)<\/i>, Springer Verlag, March 2009.<\/p>\n 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 <\/a>, in Developmental Biology<\/i>, vol. 323, no. 1, Elsevier , \u00a02008.<\/p>\n","protected":false},"excerpt":{"rendered":" My research interests are in modeling and analyzing complex systems (including biological systems and reactive software)\u00a0using formal reasoning and synthesis methods. I am also interested in the application of visual languages to model the behavior of reactive\u00a0systems. I work on development of new computational methods and tools towards enabling a deeper understanding of biological computation. … Continue reading Research<\/span>