13,416
reputation
1
21
49

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
~375k
people reached
  • Israel
  • Member for 6 years, 6 months
  • 856 profile views
  • Last seen 3 hours ago

Top tags (123)

Score 197
Posts 45
Posts % 18
Score 172
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 (71)

Gold

1

Rarest

Silver

21

Rarest

Bronze

49

Rarest