Prof. Coppock studies the formal foundations of natural language semantics using modern empirical methods applied to detailed phenomena in a diverse range of languages.