Theo M.V. Janssen is interested in topics on the borderline of natural language, logic, and computer science. His main interests are applications of universal algebra in natural language syntax and semantics. He has published on foundational issues in Montague grammar and of programming language semantics. Recently he studied machine translation between natural languages, in particular the method of compositional translation.