6,813 reputation
1517
bio website cs.huji.ac.il/~shaull
location
age
visits member for 1 year, 2 months
seen 8 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.


82
× 21
58
× 16
79
× 23
54
× 18
77
× 19
50
× 16
65
× 15
46
× 9
64
× 14
46
× 8

145 Votes Cast

all time   by type   month   week  
139 up 105 question 2 2
6 down 40 answer