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, Logic, Quantitative Reasoning


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.

I am currently a research assistant under the supervision of Prof. Joel Ouaknine.

Selected Publications

View AllManage publications