620 reputation
816
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 34
visits member for 5 years, 2 months
seen 19 hours ago

program verification, mostly


620 Reputation

This user has no recent positive reputation changes
Theoretical Computer Science 3,151 rep 1649
Computer Science 821 rep 413
MathOverflow 620 rep 816
Mathematics 562 rep 29
Area 51 261 rep 4

194 Votes Cast

all time   by type  
194 up 53 question
0 down 141 answer