Ph.D Students
- Asaf Yeshurun
Works on determinizability of quantitative computational models: Weighted Automata, One Counter Nets, VASS, etc. - Neta Dafni
Works on discounted-sum automata.
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
- 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