1,271 reputation
bio website cs.huji.ac.il/~shaull
visits member for 2 years, 8 months
seen 57 mins 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.

69 Votes Cast

all time   by type   month   week  
67 up 42 question 2 2
2 down 27 answer