3,336 reputation
1651
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 35
visits member for 4 years, 6 months
seen 1 hour ago

program verification, mostly


Theoretical Computer Science 3,336 rep 1651
Computer Science 826 rep 413
MathOverflow 670 rep 816
Mathematics 622 rep 311
Area 51 261 rep 4

788 Votes Cast

all time   by type   month   week  
779 up 289 question 1 1
9 down 499 answer