122 reputation
3
bio website mostly-decidable.org
location Portland, OR
age
visits member for 3 years, 7 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.


122 Reputation

5 Feb 19 '12
10 May 3 '11
+10 11:25 2 events
4 May 2 '11
2 Mar 2 '11
100 Jan 18 '11