670 reputation
816
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 35
visits member for 5 years, 5 months
seen Mar 19 at 21:58

program verification, mostly


670 Reputation

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

199 Votes Cast

all time   by type   month  
199 up 56 question 1
0 down 143 answer