Currently studying the complexity of natural numbers in various simple computational models, and also well partial orders and some other silly things with ordinals. And also some scattered other stuff. See website for more.