Valeria de Paiva is a mathematician and AI Research Scientist. Research interests include category theory, type theories, semantics of NL and lexical semantics.