3,181 reputation
1649
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 34
visits member for 4 years, 4 months
seen 11 hours ago

program verification, mostly


Theoretical Computer Science 3,181 rep 1649
Computer Science 821 rep 413
MathOverflow 620 rep 816
Mathematics 562 rep 211
Area 51 261 rep 4

752 Votes Cast

all time   by type   month  
743 up 275 question 9
9 down 477 answer