Dr Shaull Almagor
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.
Formally Reasoning About Quality
Shaull Almagor‚ Udi Boker and Orna Kupferman
In J. ACM. Vol. 63. No. 3. Pages 24. 2016.
High−Quality Synthesis Against Stochastic Environments
Shaull Almagor and Orna Kupferman
In Jean−Marc Talbot and Laurent Regnier, editors, 25th EACSL Annual Conference on Computer Science Logic‚ CSL 2016‚ August 29 − September 1‚ 2016‚ Marseille‚ France. Vol. 62 of LIPIcs. Pages 28:1–28:17. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2016.
Minimizing Expected Cost Under Hard Boolean Constraints‚ with Applications to Quantitative Synthesis
Shaull Almagor‚ Orna Kupferman and Yaron Velner
In Josée Desharnais and Radha Jagadeesan, editors, 27th International Conference on Concurrency Theory‚ CONCUR 2016‚ August 23−26‚ 2016‚ Québec City‚ Canada. Vol. 59 of LIPIcs. Pages 9:1–9:15. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2016.