Ph.D Students
- Neta Dafni
Works on applications of discounting in verification.
M.Sc Students
- Guy Arbel
Works on Weighted Automata. - Itay Hasson
Works on Reachability in Vector Addition Systems. - Adam Nice
Works on Branching Counter Nets - Asaf Shoham
Works on Factorization for Tree Algebras
Graduated
- Asaf Yeshurun (Ph.D 2025)
Worked on One Counter Nets — Determinizability, History Determinism, Primality, Two-Wayness.
Thesis: Simplification of Counter Automata - Omer Yizhaq (M.Sc 2024)
Worked on jumping automata over infinite words.
Thesis: Jumping Automata over Infinite Words - Ishai Salgado (M.Sc 2024)
Worked on quantitative measures in Jumping Automata.
Thesis: Quantitative Semantics for Jumping Automata - Antonio Abu Nassar (M.Sc 2022)
Worked on notions of symmetry in transducers, e.g., simulation-by-rounds.
Thesis: Symmetry by Rounds of Letter-to-Letter Transducers - Shai Guendelman (M.Sc 2022)
Worked on notions of symmetry in multiplayer concurrent games.
Thesis: Concurrent Games with Multiple Topologies