1,966 reputation
bio website cs.huji.ac.il/~shaull
visits member for 3 years, 9 months
seen Aug 31 at 11:48

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.

92 Votes Cast

all time   by type  
90 up 58 question
2 down 34 answer