Naissance | |
---|---|
Nom dans la langue maternelle |
Valeria Correa Vaz de Paiva |
Nationalité | |
Formation |
Université pontificale catholique de Rio de Janeiro (master of science) (jusqu'en ) Université de Cambridge (doctorat) (jusqu'en ) |
Activités |
A travaillé pour | |
---|---|
Directeur de thèse | |
Site web |
Valeria Correa Vaz de Paiva est une mathématicienne, logicienne et informaticienne brésilienne. Ses travaux de recherche comprennent des approches logiques du calcul, en particulier en utilisant la théorie des catégories, la représentation des connaissances, la sémantique du langage naturel, et la programmation fonctionnelle avec un accent sur les fondements et la théorie des types[1],[2].
De Paiva a obtenu un baccalauréat en mathématiques en 1982, une maîtrise en 1984 (en algèbre pure) et a terminé un doctorat à l'université de Cambridge en 1988, sous la direction de Martin Hyland[3],[4]. Sa thèse a introduit les « espaces dialectica », une manière catégorique de construire des modèles de logique linéaire.
De Paiva a travaillé pendant neuf ans au Palo Alto Research Center à Palo Alto, puis chez Rearden Commerce et chez Cuil avant de rejoindre l'entreprise Nuance Communications. De mars 2019 à janvier 2020 elle est Principal Research Scientist chez Samsung Research America[5].
Elle est enseignant-chercheur honoraire en informatique à l'université de Birmingham[6]. Elle siège, pour la période allant de 2020 à 2023, au Conseil de la Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST) de l'International Union of History and Philosophy of Science[7].