14,381
reputation
7
2
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 7 years, 5 months
-
0 profile views
-
Last seen Dec 16 '19 at 13:30
Communities (6)
Top network posts
Keeping a low profile.
This user hasn't posted yet.
Badges (9)
Gold
—
Silver
7
Rarest
Bronze
2
Rarest
-
Dec 16
-
Sep 24 '14
