122 reputation
3
bio website mostly-decidable.org
location Portland, OR
age
visits member for 3 years, 8 months
seen May 3 '11 at 14:16

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