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.

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: https://shaull.github.io/

Google Scholar          dblp

Research Interests:

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