14,544
reputation
1
24
53

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.

267
answers
2
questions
~461k
people reached

Top tags (130)

Score 204
Posts 46
Posts % 17
Score 192
Posts 45
Score 183
Posts 30
Score 161
Posts 30
Score 156
Posts 40
Score 136
Posts 26

Top posts (269)

View all questions and answers

Badges (78)

Gold

1

Rarest

Silver

24

Rarest

Bronze

53

Rarest