Works on determinizability of quantitative computational models: Weighted Automata, One Counter Nets, VASS, etc.
Works on discounted-sum automata.
Works on jumping automata over infinite words.
Works on quantitative measures in Jumping Autmata.
Antonio Abu Nassar (M.Sc 2022)
Worked on notions of symmetry in transducers, e.g., simulation-by-rounds.
Shai Guendelman (M.Sc 2022)
Worked on notions of symmetry in multiplayer concurrent games.
Thesis: Concurrent Games with Multiple Topologies