670 reputation
816
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 35
visits member for 5 years, 4 months
seen 15 hours ago

program verification, mostly


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

198 Votes Cast

all time   by type  
198 up 55 question
0 down 143 answer