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 participated in any bounties