Joe's research interests lie in mathematical logic. With the tools of logic, he is able to play the spoiler in mathematics by showing that certain statements are either impossible to prove or necessarily require complicated constructions. Feeling that it is not fair to single out mathematicians, he also enjoys chaffing computer scientists by proving that certain things are impossible for even the most idealized of computers. It really is quite a power trip. In his spare time, Joe enjoys playing many different games and sports, and he often finds himself pondering the existence of ludicrously large infinite sets.