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.Page personnelle de Valeria de Paiva..
Formation 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... Sa thèse a introduit les « espaces dialectica », une manière catégorique de construire des modèles de logique linéaire.
Carrière et recherche 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 à elle est Principal Research Scientist chez Samsung Research AmericaCurriculum vitæ..
Elle est enseignant-chercheur honoraire en informatique à l'université de BirminghamPage personnelle à l'université de Birmingham, retrieved 2015-07-24.. 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..
Publications (sélection)
. . .
Notes et références
Liens externes
Publications de Valeria de Paiva sur Zentralblatt MATH
Catégorie:Étudiant de l'université de Cambridge Catégorie:Mathématicienne brésilienne Catégorie:Personnalité brésilienne de l'informatique Catégorie:Personnalité de Samsung Catégorie:Logicien Catégorie:Mathématicienne du XXe siècle Catégorie:Mathématicienne du XXIe siècle Catégorie:Personnalité en théorie des catégories