Noa Izsak

izsak@post.bgu.ac.il

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.

October 2024

Presenting our paper "Learning Broadcast Protocols with LeoParDS" in ATVA 24, Kyoto, Japan.

Education

Ben-Gurion University of the Negev

2024 - 2028 (expected)

Ben-Gurion University of the Negev

Advisors: Prof. Dana Fisman and Dr. Swen Jacobs.

2022 - 2023

Ben-Gurion University of the Negev

Meitar Program - Honors Program for Fast Track M.Sc

2019 - 2023

Learning Broadcast Protocols with LeoParDS

Accepted for publication at ATVA'24
Noa Izsak, Dana Fisman and Swen Jacobs

[ Paper] [ Cite] [ Code]

Learning Broadcast Protocols

AAAI'24
Dana Fisman, Noa Izsak and Swen Jacobs

[ Paper] [ Cite] [Proceedings]

The International Symposium on Automated Technology for Verification and Analysis (ATVA) 2024.
Highlights of Logic, Games, and Automata 2024. [ Watch My Talk]
The Association for the Advancement of Artificial Intelligence (AAAI) 2024.
Conducting a departmental seminar in a Seminar on Formal Methods, Ben-Gurion University of the Negev 2023.

2 ^nd Place - Ben-Gurion University of the Negev - CS Department Poster Day 2023.