Shaull
Stats
5,007
reputation
61k
reached
60
answers
23
questions
Loading…
About

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.

1
gold badge
19
silver badges
28
bronze badges

Top tags (84)

Score 120
Posts 23
Posts % 28
Score 83
Posts 13
Score 82
Posts 13
Score 38
Posts 9
Score 32
Posts 6
Score 31
Posts 6

Top posts (83)

View all questions and answers