343 reputation
bio website
location Oxford University
visits member for 3 years, 1 month
seen Mar 29 at 8:17
Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.

This user has no recent positive reputation changes

82 Votes Cast

all time   by type  
81 up 15 question
1 down 67 answer