14,166
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.

259
answers
2
questions
~430k
people reached
  • Israel
  • Member for 7 years, 1 month
  • 960 profile views
  • Last seen 1 hour ago

Top tags (127)

Score 201
Posts 46
Posts % 18
Score 183
Posts 42
Score 175
Posts 28
Score 158
Posts 29
Score 151
Posts 38
Score 129
Posts 24

Top posts (261)

View all questions and answers

Badges (75)

Gold

1

Rarest

Silver

23

Rarest

Bronze

51

Rarest