Shaull
17,814
reputation
1
41
67
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.