Shaull
Stats
15,651
reputation
548k
reached
277
answers
2
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
28
silver badges
56
bronze badges

Top tags (134)

Score 242
Posts 49
Posts % 18
Score 214
Posts 49
Score 191
Posts 31
Score 168
Posts 30
Score 158
Posts 41
Score 142
Posts 27

Top posts (279)

View all questions and answers