Home

I am an assistant professor at the Computer Science department at the Technion.
Until 2021, I was a Marie Curie Fellow.
Prior to that, I was a postdoc at Oxford University under the supervision of Prof. Joël Ouaknine.

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
  • Explainability

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)

Google Scholar          dblp     ORCID iD icon