343 reputation
bio website
location Oxford University
visits member for 4 years, 6 months
seen Apr 20 at 18:33
Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.

343 Reputation

This user has no recent positive reputation changes

83 Votes Cast

all time   by type  
82 up 15 question
1 down 68 answer