670 reputation
816
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 35
visits member for 5 years, 4 months
seen 2 days 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