7,153 reputation
1521
bio website cs.huji.ac.il/~shaull
location
age
visits member for 1 year, 5 months
seen Jul 18 at 11:31

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.


94
× 23
59
× 17
89
× 24
59
× 16
79
× 19
54
× 18
67
× 15
47
× 8
66
× 14
46
× 9

149 Votes Cast

all time   by type  
143 up 109 question
6 down 40 answer