Shaull

UK

https://www.cs.ox.ac.uk/people/shaull.almagor/

Postdoc at Oxford University, UK.

Research interests: Dynamical Systems, Formal Verification, Temporal Logic, Automata Theory, Weighted Automata and Weighted Logics, and all things theoretical.

Top Answers
1 2 3 4