Home

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/watch my YouTube videos.

Contact Information:

Email: shaull_at_cs.technion.ac.il
Office:  635
Address: CS Taub Building, Technion, Haifa, Israel 3200003
Phone:  04-829-4322  (+972-4-829-4322)
Personal Webpage

Google Scholar          dblp     ORCID iD icon   

Research Interests:

  • Formal Methods
  • Automata
  • Weighted Automata
  • Linear Dynamical Systems
  • Logic
  • Algorithmic Game Theory
  • Robotic Planning
  • Explainability