15,291
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.

272
answers
2
questions
~518k
people reached

Top tags (134)

Score 235
Posts 47
Posts % 17
Score 209
Posts 47
Score 187
Posts 30
Score 164
Posts 30
Score 158
Posts 41
Score 137
Posts 26

Top posts (274)

View all questions and answers

Badges (84)

Gold

1

Rarest

Silver

28

Rarest

Bronze

55

Rarest