Anyone know what kind of mathematics Ticki will be doing? Talking about correctness makes me thinks she or he is going to gravitate towards logic and foundations and the sorts of mathematics that computer people usually like. I ask because as someone who works with computers and doesn't prefer computery mathematics, I'm always looking for a kindred spirit.