14,321
reputation
1
23
51

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.

262
answers
2
questions
~451k
people reached

Top tags (127)

Score 201
Posts 46
Posts % 17
Score 189
Posts 44
Score 180
Posts 29
Score 160
Posts 29
Score 156
Posts 40
Score 135
Posts 25

Top posts (264)

View all questions and answers

Badges (75)

Gold

1

Rarest

Silver

23

Rarest

Bronze

51

Rarest