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 8 years, 2 months
-
1,172 profile views
-
Last seen 9 hours ago
Communities (6)
Top network posts
Badges (84)
Gold
Rarest
-
May 25 '13
Silver
Rarest
-
Apr 6 '16
-
Sep 30 '14
-
Jan 29 '19
Bronze
Rarest
-
Sep 18 '18
-
Sep 9
-
Feb 5 '16