14,604
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
~477k
people reached

Top tags (130)

Score 204
Posts 46
Posts % 17
Score 193
Posts 45
Score 184
Posts 30
Score 162
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