I am an assistant professor and a Marie Curie Fellow at the Computer Science department at the Technion.
Prior to that, I was a postdoc at Oxford University under the supervision of Prof. Joël Ouaknine.
I obtained my PhD in Computer Science (2016) from the Hebrew University of Jerusalem, under the supervision of Prof. Orna Kupferman.
I am looking for mathematically-inclined students who are (possibly, but not necessarily) interested in formal verification, automata, logic, algorithmic game theory, and explainability of algorithms.
Address: CS Taub Building, Technion, Haifa, Israel 3200003
Phone: 04-829-4322 (+972-4-829-4322)
- Formal Methods
- Weighted Automata
- Linear Dynamical Systems
- Algorithmic Game Theory
- Robotic Planning