I'm a CS prof applying for a math PhD (my undergrad was math). My research field is databases but I want to move into logic, perhaps, or something more mainstream like topology or category theory.