1,806 reputation
719
bio website cs.huji.ac.il/~shaull
location
age
visits member for 3 years, 5 months
seen 3 hours 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.


89 Votes Cast

all time   by type   month   week   day
87 up 56 question 5 1 1
2 down 33 answer