4,775
reputation
1
19
26

Shaull
Loading…

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.

58
answers
22
questions
~59k
people reached

Top tags (84)

Score 108
Posts 22
Posts % 28
Score 82
Posts 13
Score 68
Posts 11
Score 35
Posts 8
Score 31
Posts 6
Score 29
Posts 5

Top posts (80)

View all questions and answers

Badges (46)

Gold

1

Rarest

Silver

19

Rarest

Bronze

26

Rarest