4,560
reputation
1
18
26

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.

54
answers
21
questions
~57k
people reached

Top tags (79)

Score 103
Posts 21
Posts % 28
Score 77
Posts 11
Score 68
Posts 11
Score 31
Posts 6
Score 30
Posts 7
Score 29
Posts 5

Top posts (75)

View all questions and answers

Badges (45)

Gold

1

Rarest

Silver

18

Rarest

Bronze

26

Rarest