123
reputation
1
1
5

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
2
questions
~38k
people reached
  • Israel
  • Member for 6 years, 3 months
  • 20 profile views
  • Last seen Jan 23 at 20:31

Top tags (3)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (7)

Gold

1

Rarest

Silver

1

Rarest

Bronze

5

Rarest