13,446
reputation
1
21
50

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.

245
answers
2
questions
~387k
people reached
  • Israel
  • Member for 6 years, 8 months
  • 870 profile views
  • Last seen Oct 11 at 8:10

Top tags (123)

Score 197
Posts 45
Posts % 18
Score 173
Posts 38
Score 159
Posts 26
Score 149
Posts 26
Score 145
Posts 35
Score 121
Posts 23

Top posts (247) All Questions Answers | Votes Newest

View all questions and answers

Badges (72)

Gold

1

Rarest

Silver

21

Rarest

Bronze

50

Rarest