Skip to main content

Shaull Almagor

Personal photo - Shaull Almagor

Dr Shaull Almagor

Research Assistant

E: shaull.almagor@cs.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

Formal Verification, Automata, Logic, Quantitative Reasoning

Biography

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