343 reputation
410
bio website
location Oxford University
age
visits member for 3 years, 9 months
seen Dec 21 at 9:41
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 8,856 rep 21949
Computer Science 654 rep 28
MathOverflow 343 rep 410
Academia 206 rep 14
Philosophy 151 rep 4

82 Votes Cast

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