2,281 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 (49)

Score 53
Posts 8
Posts % 19
Score 44
Posts 11
Score 35
Posts 6
Score 33
Posts 3
Score 24
Posts 4
Score 21
Posts 5

Top Posts (42) All Questions Answers | Votes Newest

View all questions and answers

Badges (28)

Gold
Silver 9

Rarest

Bronze 19

Rarest