10,782 reputation
1 12 35

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 148
Posts 36
Posts % 17
Score 134
Posts 32
Score 131
Posts 23
Score 118
Posts 23
Score 103
Posts 27
Score 101
Posts 22

Top Posts (216) All Questions Answers | Votes Newest

View all questions and answers

Badges (48)

Gold 1

Rarest

Silver 12

Rarest

Bronze 35

Rarest