Shaull's user avatar
Shaull's user avatar
Shaull's user avatar
Shaull
  • Member for 12 years, 2 months
  • Last seen more than 3 years ago
Stats
5,571
reputation
0
reached
0
answers
0
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.
12
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.