Shaull
  • Member for 8 years, 11 months
  • Last seen this week
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
17
Posts %
216
Score
49
Posts
17
Posts %
192
Score
31
Posts
11
Posts %
168
Score
30
Posts
11
Posts %
158
Score
41
Posts
15
Posts %
150
Score
28
Posts
10
Posts %
Top posts
View all questions and answers