3,911
reputation
1
14
24

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.

48
answers
16
questions
~47k
people reached
  • Israel
  • Member for 8 years, 1 month
  • 414 profile views
  • Last seen 4 hours ago

Top tags (70)

Score 78
Posts 16
Posts % 25
Score 74
Posts 11
Score 64
Posts 10
Score 30
Posts 6
Score 29
Posts 5
Score 26
Posts 4

Top posts (64) All Questions Answers | Votes Newest

View all questions and answers

Badges (39)

Gold

1

Rarest

Silver

14

Rarest

Bronze

24

Rarest