8,621 reputation
1 7 27

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 (116)

Score 131
Posts 33
Posts % 18
Score 112
Posts 28
Score 88
Posts 20
Score 75
Posts 22
Score 70
Posts 16
Score 66
Posts 18

Top Posts (188) All Questions Answers | Votes Newest

View all questions and answers

Badges (35)

Gold 1

Rarest

Silver 7

Rarest

Bronze 27

Rarest