I am an associate professor at the Computer Science department at the Technion.
Interested in working with me? contact me / check out my publications / join my course / watch my YouTube videos.
My research is funded in part by the Israeli Science Foundation (ISF) grant “Determinization of Quantitative Computational Models”.
Research Interests:
- Formal Methods
- Automata
- Weighted Automata
- Symmetry
- Linear Dynamical Systems
- Logic
- Algorithmic Game Theory
- Robotic Planning
Contact Information:
Email: shaull_at_technion.ac.il
Office: 635
Address: CS Taub Building, Technion, Haifa, Israel 3200003
Phone: 073-378-4322 (+972-4-829-4322)
