Skip to main content

Shaull Almagor

Personal photo - Shaull Almagor

Dr Shaull Almagor

Research Assistant


Wolfson Building, Parks Road, Oxford OX1 3QD


Formal Verification, Automata, Linear Dynamical Systems, Logic, Quantitative Reasoning


I am currently a senior research associate 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.

Selected Publications

View AllManage publications