101 reputation
bio website mostly-decidable.org
location Portland, OR
visits member for 3 years, 10 months
seen Jan 17 '13 at 4:46

I'm a developer and student strongly interested in programming languages and formal methods. I program python by day and everything else by night.

This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags

1 Vote Cast

all time   by type  
1 up 1 question
0 down 0 answer