Shaull's user avatar
Shaull's user avatar
Shaull's user avatar
Shaull
  • Member for 12 years
  • Last seen this week
Stats
5,531
reputation
75k
reached
64
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
21
silver badges
32
bronze badges
142
Score
28
Posts
32
Posts %
89
Score
14
Posts
16
Posts %
88
Score
15
Posts
17
Posts %
46
Score
10
Posts
11
Posts %
32
Score
6
Posts
7
Posts %
32
Score
6
Posts
7
Posts %
Top posts
View all questions and answers