September, 2025

Presenting at the Highlights'25 Saarbrucken, Germany.

July, 2025

Presenting at the Automata & WAN 2025 Workshop, Lille, France.

June, 2025

WIT Workshop, 2025, Simons Institute for the Theory of Computing, University of California, Berkeley.

Read more

May, 2025

Zabey Award Recipient.

February, 2025

Contributed Talk, Workshop on Learning and Logic, CSL 2025, Amsterdam, Netherlands (LeaLog'25).

Read more

December 2024

Presenting at the Israel Verification Day (IVD'24).

Read more

October 2024

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

September 2024

Presenting at Highlights of Logic, Games and Automata 2024.

July 2024

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

May 2024

LeoParDS is now available!

February 2024

Presenting our paper "Learning Broadcast Protocols" in AAAI, Vancouver, Canada.

June 2023

Conducting a departmental seminar in a Seminar on Formal Methods, Ben-Gurion University of the Negev.

May 2023

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