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
~42k
people reached

Top tags (3)

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

Top posts (2)

Badges (7)

Gold

1

Rarest

Silver

1

Rarest

Bronze

5

Rarest