Skip to main content
Shaull's user avatar
Shaull's user avatar
Shaull's user avatar
Shaull
  • Member for 12 years, 6 months
  • Last seen this week
Stats
5,656
reputation
78k
reached
65
answers
24
questions
Loading…
About

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.

1
gold badge
22
silver badges
32
bronze badges
149
Score
29
Posts
33
Posts %
94
Score
16
Posts
18
Posts %
90
Score
14
Posts
16
Posts %
46
Score
10
Posts
11
Posts %
34
Score
6
Posts
7
Posts %
32
Score
6
Posts
7
Posts %
Top posts
View all questions and answers