I want to study any intersections of computational linguistics, formal semantics, and language variation and change. I am also interested in variation in the way we use language to talk about mathematics itself.