101 reputation
2
bio website mostly-decidable.org
location Portland, OR
age
visits member for 4 years
seen Jan 11 '13 at 21:41

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


Sep
24
awarded  Autobiographer
Jun
8
awarded  Supporter