15,566
reputation
1
28
56

Shaull
Loading…

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.

276
answers
2
questions
~541k
people reached

Top tags (134)

Score 238
Posts 48
Posts % 17
Score 214
Posts 49
Score 190
Posts 31
Score 167
Posts 30
Score 158
Posts 41
Score 142
Posts 27

Top posts (278)

View all questions and answers

Badges (85)

Gold

1

Rarest

Silver

28

Rarest

Bronze

56

Rarest