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.
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
מדעי המחשב
Oct 2001 → Jun 2004
מדעי המחשב
Oct 1999 → Jun 2000
מדעי המחשב; מתמטיקה; מתמטיקה, Bachelor
Oct 1990 → 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
-
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
2 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
-
An SMT-Based Framework for Reasoning About Discrete Biological Models
Yordanov, B., Dunn, S. J., Gravill, C., Kugler, H. & Wintersteiger, C. M., 2022, Bioinformatics Research and Applications - 18th International Symposium, ISBRA 2022, Proceedings. Bansal, M. S., Cai, Z. & Mangul, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 114-125 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13760 LNBI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations
Activities
-
Topical/Group Seminar: A Method to Identify and Analyze Biological Programs through Automated Reasoning
Kugler Hillel (Speaker)
2016 → …Activity: Talk or presentation › Oral presentation
-
International Conference on Runtime Verification (RV'13)
Kugler Hillel (Participation - Conference participant)
1 Jan 2016Activity: Participating in or organizing an event › Organizing a conference, workshop, ...
-
International Conference on Information Processing in Cells and Tissues
Kugler Hillel (Participation - Conference participant)
1 Jan 2016Activity: Participating in or organizing an event › Organizing a conference, workshop, ...
-
Computational Modeling of Gene Expression and its Evolution (CMGEE'15)
Kugler Hillel (Participation - Conference participant)
13 Oct 2015 → 17 Oct 2015Activity: Participating in or organizing an event › Organizing a conference, workshop, ...
-
Metabolic Signalling and Disease: From Cell to Organism
Kugler Hillel (Participation - Conference participant)
11 Aug 2015 → 15 Aug 2015Activity: Participating in or organizing an event › Organizing a conference, workshop, ...
Thesis
-
Synthesizing State Based Object Systems from LSC Specifications
Author: Harel, David, & Hillel, K., 2002Supervisor: Harel, D. (External person) (Supervisor)
Student thesis: Thesis