Shaull's user avatar
Shaull's user avatar
Shaull's user avatar
Shaull
  • Member for 10 years, 10 months
  • Last seen this week
Stats
16,974
reputation
687k
reached
291
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
34
silver badges
62
bronze badges
252
Score
50
Posts
17
Posts %
230
Score
51
Posts
17
Posts %
198
Score
33
Posts
11
Posts %
181
Score
30
Posts
10
Posts %
174
Score
32
Posts
11
Posts %
167
Score
26
Posts
9
Posts %
Top posts
View all questions and answers