1,251 reputation
415
bio website cs.huji.ac.il/~shaull
location
age
visits member for 2 years, 7 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.


67 Votes Cast

all time   by type   month  
65 up 41 question 1
2 down 26 answer