15,416
reputation
1
28
55

Shaull

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.

273
answers
2
questions
~536k
people reached

Top tags (134)

Score 238
Posts 48
Posts % 17
Score 210
Posts 47
Score 188
Posts 30
Score 167
Posts 30
Score 158
Posts 41
Score 140
Posts 26

Top posts (275)

View all questions and answers

Badges (84)

Gold

1

Rarest

Silver

28

Rarest

Bronze

55

Rarest