6,823 reputation
1517
bio website cs.huji.ac.il/~shaull
location
age
visits member for 1 years, 2 months
seen yesterday

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  
139 up 105 question 2
6 down 40 answer