670 reputation
816
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 35
visits member for 5 years, 7 months
seen May 21 at 20:11

program verification, mostly


670 Reputation

This user has no recent positive reputation changes
Theoretical Computer Science 3,416 rep 1753
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