October 2024

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

Read more

September 2024

Presenting at Highlights of Logic, Games and Automata 2024.

Watch My Conference Talk

July 2024

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

Read more

May 2024

LeoParDS is now available!

Check it out

February 2024

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

The paper ~ Read more

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.