Angelika Kratzer
Kratzer is a formal semanticist. Her research interests include context dependent semantics, cross-linguistic quantification, and syntax-semantics interface. Semantics in Generative Grammar, which she co-authored with Irene Heim in 1998, is an excellent introductory textbook for formal semantics within the framework of generative grammar.