106
reputation
3

Shaull

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.

0
answers
1
question
~26
people reached
  • Israel
  • Member for 3 years
  • 0 profile views
  • Last seen Oct 8 '16 at 7:46

Top tags (4)

Score 0
Posts 1
Posts % 100
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (3)

Gold

Silver

Bronze

3

Rarest