343 reputation
410
bio website
location Oxford University
age
visits member for 4 years
seen 4 hours ago
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
Theoretical Computer Science 9,271 rep 22049
Computer Science 664 rep 38
MathOverflow 343 rep 410
Academia 216 rep 14
Philosophy 161 rep 4

83 Votes Cast

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