670 reputation
816
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 35
visits member for 5 years, 6 months
seen yesterday

program verification, mostly


670 Reputation

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

201 Votes Cast

all time   by type   month  
201 up 57 question 2
0 down 144 answer