13,636
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.

249
answers
2
questions
~403k
people reached
  • Israel
  • Member for 6 years, 9 months
  • 889 profile views
  • Last seen yesterday

Top tags (126)

Score 198
Posts 45
Posts % 18
Score 174
Posts 38
Score 159
Posts 26
Score 151
Posts 27
Score 146
Posts 35
Score 125
Posts 24

Top posts (251) All Questions Answers | Votes Newest

View all questions and answers

Badges (72)

Gold

1

Rarest

Silver

21

Rarest

Bronze

50

Rarest