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 9 years, 4 months
-
489 profile views
-
Last seen 1 hour ago
Communities (6)
Top network posts
Badges (45)
Gold
Rarest
-
May 6 '18
Silver
Rarest
-
Mar 12 '13
-
Oct 2 '14