Logician. Lecturer in CS at Indiana University. Swing dance teacher. Constructor of crosswords, interactive fiction, and Rube Goldberg machines. SFF/comic/videogame/boardgame/linguistics fan. Sucker for metanarratives, funny songs, and closed timeloop stories.