10,177 reputation
1 9 33

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

Score 138
Posts 35
Posts % 17
Score 131
Posts 32
Score 123
Posts 20
Score 115
Posts 22
Score 102
Posts 27
Score 93
Posts 20

Top Posts (207) All Questions Answers | Votes Newest

View all questions and answers

Badges (43)

Gold 1

Rarest

Silver 9

Rarest

Bronze 33

Rarest