Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more
Shaull's user avatar
Shaull's user avatar
Shaull's user avatar
Shaull
  • Member for 11 years, 3 months
  • Last seen this week
Stats
17,199
reputation
711k
reached
292
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
38
silver badges
65
bronze badges
258
Score
50
Posts
17
Posts %
237
Score
52
Posts
18
Posts %
203
Score
33
Posts
11
Posts %
185
Score
30
Posts
10
Posts %
177
Score
32
Posts
11
Posts %
168
Score
42
Posts
14
Posts %
Top posts
View all questions and answers