13,446
reputation
6
1
Shaull
Assistant Professor at the Technion, Israel.
Research interests: Dynamical Systems, Formal Verification, Temporal Logic, Automata Theory, Weighted Automata and Weighted Logics, and all things theoretical.
-
Israel
-
Member for 6 years, 8 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.
