Shaull
Stats
201
reputation
426
reached
1
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.

This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges

Top tags (4)

Score 4
Posts 1
Posts % 33
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (3)