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.