715 reputation
916
bio website rgrig.appspot.com
location Oxford, United Kingdom
age 35
visits member for 5 years, 8 months
seen yesterday

program verification, mostly


715 Reputation

Theoretical Computer Science 3,436 rep 1754
Computer Science 861 rep 613
MathOverflow 715 rep 916
Mathematics 622 rep 311
Area 51 261 rep 4

203 Votes Cast

all time   by type  
203 up 58 question
0 down 145 answer