Noa Izsak

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.

Recent News

September 2024

Presenting at Highlights of Logic, Games and Automata 2024.

Watch My Talk
Read all news

Education

Ph.D. Computer Science

Ben-Gurion University of the Negev
2024 - 2028 (expected)

M.Sc. Computer Science

Summa Cum Laude

Ben-Gurion University of the Negev
2022 - 2023

B.Sc. Software Engineering

Cum Laude

Ben-Gurion University of the Negev
Meitar Program - Honors Program for Fast Track M.Sc
2019 - 2023

Publications

  • Learning Broadcast Protocols with LeoParDS

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

    Badge 1 Badge 2


Presentations at Conferences and Seminars


  • 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.


Awards & Honors

  • Dean’s List Award Recipient, M.Sc. in Computer Science.


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


Contact Information