network profile
| bio | website | mostly-decidable.org |
|---|---|---|
| location | Portland, OR | |
| age | ||
| visits | member for | 2 years, 4 months |
| seen | May 3 '11 at 14:16 | |
| stats | profile views | 0 |
I'm a developer and student strongly interested in programming languages and formal methods. I program python by day and everything else by night.
