7,703 reputation
1624
bio website cs.huji.ac.il/~shaull
location
age
visits member for 1 year, 9 months
seen 5 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.


101
× 25
60
× 17
92
× 25
59
× 16
85
× 20
56
× 19
68
× 15
49
× 9
67
× 14
47
× 9

162 Votes Cast

all time   by type   month   week  
156 up 122 question 5 1
6 down 40 answer