4,178
reputation
1
15
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.

49
answers
19
questions
~53k
people reached

Top tags (73)

Score 85
Posts 18
Posts % 26
Score 76
Posts 11
Score 64
Posts 10
Score 31
Posts 6
Score 30
Posts 7
Score 26
Posts 4

Top posts (68)

View all questions and answers

Badges (40)

Gold

1

Rarest

Silver

15

Rarest

Bronze

24

Rarest