3,416 reputation
1753
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 35
visits member for 4 years, 9 months
seen May 24 at 7:31

program verification, mostly


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

818 Votes Cast

all time   by type   month  
809 up 303 question 7
9 down 515 answer