Shaull's user avatar
Shaull's user avatar
Shaull's user avatar
Shaull
  • Member for 11 years, 1 month
  • 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
21
silver badges
30
bronze badges
139
Score
28
Posts
32
Posts %
89
Score
15
Posts
17
Posts %
88
Score
14
Posts
16
Posts %
44
Score
10
Posts
11
Posts %
32
Score
6
Posts
7
Posts %
32
Score
6
Posts
7
Posts %
Top posts
View all questions and answers