Kugler Hillel

View Scopus Profile

Kugler Hillel

 https://orcid.org/0000-0001-7924-5665
20012026

Research activity per year

Personal profile

About Me

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.

About Me

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, Weizmann Institute of Science

Oct 2001 → Jun 2004

Award Date: 30 Jun 2004

Master's Degree, Weizmann Institute of Science

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
View full fingerprint

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
Explore network further

  • Robust Deep Reinforcement Learning Using Formal Verification

    Raviv, A., Vistuch, S., Gurevich, B., Dekel, E. & Kugler, H., 2026, Theoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Proceedings. Rümmer, P. & Wu, Z. (eds.). Springer Science and Business Media Deutschland GmbH, p. 179-196 18 p. (Lecture Notes in Computer Science; vol. 15841 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Methods and Tools to Facilitate RE:IN Modeling and Analysis of GRNs

    Grimland, D., Tannenbaum, E. & Kugler, H., 2025, Computational Intelligence Methods for Bioinformatics and Biostatistics - 19th International Meeting, CIBB 2024, Revised Selected Papers. Cerulo, L., Napolitano, F., Bardozzo, F., Cheng, L., Occhipinti, A. & Pagnotta, S. M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 43-57 15 p. (Lecture Notes in Computer Science; vol. 15276 LNBI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 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
    14 Scopus citations

  • 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

    1 Scopus citations
View all 88 Research outputs
View all 17 activities