8,153 reputation
1626
bio website cs.huji.ac.il/~shaull
location
age
visits member for 1 year, 11 months
seen 1 hour 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.


118
× 30
62
× 21
102
× 26
62
× 17
86
× 20
59
× 16
68
× 15
55
× 16
66
× 14
52
× 11

170 Votes Cast

all time   by type   month  
164 up 127 question 3
6 down 43 answer