670 reputation
816
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 35
visits member for 5 years, 7 months
seen 18 hours ago

program verification, mostly


670 Reputation

This user has no recent positive reputation changes
Theoretical Computer Science 3,396 rep 1653
Computer Science 861 rep 613
MathOverflow 670 rep 816
Mathematics 622 rep 311
Area 51 261 rep 4

203 Votes Cast

all time   by type   month  
203 up 58 question 2
0 down 145 answer