4,248
reputation
1
16
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
20
questions
~55k
people reached

Top tags (75)

Score 86
Posts 18
Posts % 26
Score 77
Posts 11
Score 64
Posts 10
Score 31
Posts 6
Score 30
Posts 7
Score 26
Posts 4

Top posts (69)

View all questions and answers

Badges (41)

Gold

1

Rarest

Silver

16

Rarest

Bronze

24

Rarest