2,441 reputation
9 19

Shaull

Ph.D Student in the Hebrew University, Jerusalem, Israel.

Research interests: Formal Verification, Temporal Logic, Automata theory, Weighted automata and weighted logics, and all things theoretical.

Top Tags (52)

Score 54
Posts 12
Posts % 27
Score 53
Posts 8
Score 45
Posts 7
Score 33
Posts 3
Score 24
Posts 4
Score 23
Posts 5

Top Posts (45) All Questions Answers | Votes Newest

View all questions and answers

Badges (28)

Gold
Silver 9

Rarest

Bronze 19

Rarest