Shaull's user avatar
Shaull's user avatar
Shaull's user avatar
Shaull
  • Member for 9 years, 2 months
  • Last seen more than 1 year ago
Stats
203
reputation
697
reached
0
answers
4
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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts