13,381
reputation
6
1
Shaull
Postdoc at Oxford University, UK.
Research interests: Dynamical Systems, Formal Verification, Temporal Logic, Automata Theory, Weighted Automata and Weighted Logics, and all things theoretical.
-
UK
-
Member for 6 years, 4 months
-
0 profile views
-
Last seen Dec 26 '18 at 12:56
Communities (6)
Top network posts
Keeping a low profile.
This user hasn't posted yet.
