Shaull's user avatar
Shaull's user avatar
Shaull's user avatar
Shaull
  • Member for 12 years, 4 months
  • Last seen this week
Stats
5,571
reputation
77k
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
22
silver badges
32
bronze badges
143
Score
28
Posts
32
Posts %
90
Score
14
Posts
16
Posts %
88
Score
15
Posts
17
Posts %
46
Score
10
Posts
11
Posts %
34
Score
6
Posts
7
Posts %
32
Score
6
Posts
7
Posts %
Top posts
View all questions and answers