Research output per year
Research output 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.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
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
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 Access9 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
-
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
1 Scopus citations
Activities
-
International Conference on Information Processing in Cells and Tissues
Hillel, K. (Participation - Conference participant)
1 Jan 2016Activity: Participating in or organizing an event › Organizing a conference, workshop, ...
-
Topical/Group Seminar: A Method to Identify and Analyze Biological Programs through Automated Reasoning
Hillel, K. (Speaker)
2016 → …Activity: Talk or presentation › Oral presentation
-
International Conference on Runtime Verification (RV'13)
Hillel, K. (Participation - Conference participant)
1 Jan 2016Activity: Participating in or organizing an event › Organizing a conference, workshop, ...
-
Metabolic Signalling and Disease: From Cell to Organism
Hillel, K. (Participation - Conference participant)
11 Aug 2015 → 15 Aug 2015Activity: Participating in or organizing an event › Organizing a conference, workshop, ...
-
Departmental Seminar/Colloquium: Studying Biological Programs using Modelling and Automated Reasoning
Hillel, K. (Speaker)
2015 → …Activity: Talk or presentation › Oral presentation
Thesis
-
Synthesizing State Based Object Systems from LSC Specifications
Harel, David (Author) & Hillel, K. (Author), Harel, D. (Supervisor), 2002Student thesis: Thesis