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

program verification, mostly


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

801 Votes Cast

all time   by type   month   week  
792 up 292 question 14 1
9 down 509 answer