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.
49
answers
20
questions
~55k
people reached
-
Israel
-
Member for 9 years, 1 month
-
464 profile views
-
Last seen 1 hour ago
Communities (6)
Top network posts
Badges (41)
Gold
1
Rarest
-
May 6 '18
Silver
16
Rarest
-
Mar 12 '13
-
Oct 2 '14