8,403 reputation
1726
bio website cs.huji.ac.il/~shaull
location
age
visits member for 2 years, 1 month
seen 4 hours ago

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.


123
× 32
66
× 14
109
× 28
63
× 17
88
× 20
62
× 17
75
× 22
55
× 16
70
× 16
52
× 11

173 Votes Cast

all time   by type  
167 up 130 question
6 down 43 answer