Shaull

Israel

https://shaull.cswp.cs.technion.ac.il/

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.

Top Questions
1 2

Top Answers
1 2 3 4 5