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.
If you are interested, or want to hear more, contact me / check out my publications / join my course.
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