Shaull Almagor's Homepage




I am currently 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.
Prior to that, I obtained my M.Sc in Computer Science (2011, summa cum laude) and a B.Sc in Mathematics and Computer Science (2009, magna cum laude), both from the Hebrew University of Jerusalem.

Contact Information:

shaull.almagor _at_
Office: 366A, Wolfson Building.
Address: Department of Computer Science, University of Oxford,
7 Keble Road, Oxford, UK.

Academic Interests:

Formal Methods, Automata, Weighted Automata, Linear Dynamical Systems, Logic, Robotic Planning


Professional Activities

Other Activities

I've been known to burst into song with Jonathan Mosheiff: at ITCS 2015 (English), and during computational-models classes (Hebrew): 2012, 2013, 2014, 2015, 2016,