3,386 reputation
1653
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 35
visits member for 4 years, 8 months
seen 4 hours ago

program verification, mostly


Theoretical Computer Science 3,386 rep 1653
Computer Science 826 rep 513
MathOverflow 670 rep 816
Mathematics 622 rep 311
Area 51 261 rep 4

810 Votes Cast

all time   by type   month  
801 up 295 question 9
9 down 515 answer