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

program verification, mostly


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

830 Votes Cast

all time   by type   week  
821 up 306 question 2
9 down 524 answer