Research output per year
Research output per year
Personal profile
Research interests
I am a faculty member at Bar-Ilan University since 2015. 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 a member of 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 Prof. David Harel and Prof. Amir Pnueli. 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 also work on development of new computational methods and tools towards enabling a deeper understanding of biological computation.
Research interests
I am a faculty member at Bar-Ilan University since 2015. 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 a member of 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 Prof. David Harel and Prof. Amir Pnueli. 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 also work on development of new computational methods and tools towards enabling a deeper understanding of biological computation.
Education/Academic qualification
PhD
Oct 2001 → Jun 2004
Award Date: 30 Jun 2004
Master
Oct 1999 → Jun 2000
Award Date: 30 Jun 2000
Bachelor, Hebrew University of Jerusalem
Oct 1990 → Jun 1994
Award Date: 20 Jun 1994
Fingerprint
Dive into the research topics where Kugler Hillel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Synthesis of Boolean Networks with Weak and Strong Regulators
Biton, N., Shoob, S., Amar, A. & Kugler, H., 2024, Bioinformatics Research and Applications - 20th International Symposium, ISBRA 2024, Proceedings. Peng, W., Cai, Z. & Skums, P. (eds.). Springer Science and Business Media Deutschland GmbH, p. 119-131 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14955 LNBI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Esrrb guides naive pluripotent cells through the formative transcriptional programme
Carbognin, E., Carlini, V., Panariello, F., Chieregato, M., Guerzoni, E., Benvegnù, D., Perrera, V., Malucelli, C., Cesana, M., Grimaldi, A., Mutarelli, M., Carissimo, A., Tannenbaum, E., Kugler, H., Hackett, J. A., Cacchiarelli, D. & Martello, G., May 2023, In: Nature Cell Biology. 25, 5, p. 643-657 15 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Learning Through Imitation by Using Formal Verification
Raviv, A., Bronshtein, E., Reginiano, O., Aluf-Medina, M. & Kugler, H., 2023, SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings. Gasieniec, L. (ed.). Springer Science and Business Media Deutschland GmbH, p. 342-355 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13878 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Simulation and Verification of Network-Based Biocomputation Circuits
Aluf-Medina, M., Raviv, A., Arora, H., Korten, T. & Kugler, H., 2023, ISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings. Institute of Electrical and Electronics Engineers Inc., (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2023-May).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models
Yordanov, B., Dunn, S. J., Gravill, C., Arora, H., Kugler, H. & Wintersteiger, C. M., 1 Sep 2023, In: Journal of Computational Biology. 30, 9, p. 1046-1058 13 p.Research output: Contribution to journal › Article › peer-review