Suspended undergraduate studies in computer science at the University of Washington. Software engineer when I can find work. Computer science researcher specializing in constructive mathematics when I can't.