user avatar
user avatar
user avatar
Shaull
  • Member for 9 years, 6 months
  • Last seen this week
Stats
16,206
reputation
605k
reached
286
answers
2
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
30
silver badges
58
bronze badges
249
Score
50
Posts
17
Posts %
225
Score
51
Posts
18
Posts %
195
Score
32
Posts
11
Posts %
170
Score
31
Posts
11
Posts %
160
Score
41
Posts
14
Posts %
152
Score
28
Posts
10
Posts %
Top posts
View all questions and answers