Ph.D. student at the Computer Science Department at Ben-Gurion University of the Negev.
Research areas: Learning/Grammatical Inference, Verification and Concurrent/Parameterized Systems.
Advisor: Prof. Dana Fisman.
February, 2025
Contributed Talk, Workshop on Learning and Logic, CSL 2025, Amsterdam, Netherlands.
Learning Broadcast Protocols with LeoParDS
ATVA'24
Noa Izsak, Dana Fisman and Swen Jacobs
[ Paper] [ Cite] [ Code] [Proceedings]
Learning Broadcast Protocols
AAAI'24
Dana Fisman, Noa Izsak and Swen Jacobs
[ Paper] [ Cite] [Proceedings]
Workshop on Learning and Logic, CSL 2025, Contributed Talk ( LeaLog-CSL'25)
Israel Verification Day (IVD'24) [ Presentation]
The International Symposium on Automated Technology for Verification and Analysis 2024 ( ATVA'24)
Highlights of Logic, Games, and Automata 2024 ( Highlights'24) [ Watch My Talk]
The Association for the Advancement of Artificial Intelligence 2024 ( AAAI'24)
Conducting a departmental seminar in a Seminar on Formal Methods, Ben-Gurion University of the Negev 2023
Zabey Award Recipient. ? The Chaim Zabey award is granted yearly since 2001, by the faculty of Natural Sciences, to one graduate student with the most outstanding thesis, in each of the departments of Math, Computer Science and Physics.
Dean’s List Award Recipient, M.Sc. in Computer Science.
Recipient of the Negev-Tzin Fellowship for New and Midway Outstanding Ph.D. Students.
2 nd Place - Ben-Gurion University of the Negev - CS Department Poster Day 2023.