I write software and subversive fiction. I did a little work in foundations of mathematics as an undergrad. Nothing to write home about.