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. - Omer Yizhaq
Works on jumping automata over infinite words. - Ishai Salgado
Works on quantitative measures in Jumping Automata.
Graduated
- 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