3,326 reputation
1650
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 34
visits member for 4 years, 5 months
seen 6 hours ago

program verification, mostly


Theoretical Computer Science 3,326 rep 1650
Computer Science 821 rep 413
MathOverflow 670 rep 816
Mathematics 592 rep 211
Area 51 261 rep 4

783 Votes Cast

all time   by type   month   week  
774 up 287 question 25 4
9 down 496 answer