Shaull
  • Member for 10 years, 1 month
  • Last seen this week
Stats
5,221
reputation
64k
reached
60
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
20
silver badges
30
bronze badges
120
Score
24
Posts
29
Posts %
83
Score
13
Posts
15
Posts %
82
Score
14
Posts
17
Posts %
38
Score
9
Posts
11
Posts %
32
Score
6
Posts
7
Posts %
32
Score
6
Posts
7
Posts %
Top posts
View all questions and answers