Shaull
  • Member for 8 years, 9 months
  • Last seen this week
Stats
15,746
reputation
566k
reached
278
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
28
silver badges
57
bronze badges
243
Score
49
Posts
18
Posts %
214
Score
49
Posts
18
Posts %
191
Score
31
Posts
11
Posts %
168
Score
30
Posts
11
Posts %
158
Score
41
Posts
15
Posts %
149
Score
28
Posts
10
Posts %