Valeria de Paiva

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].

Valeria de Paiva

Biographie
Naissance	Brésil
Nom dans la langue maternelle	Valeria Correa Vaz de Paiva
Nationalités	Britannique Brésilienne
Formation	Université de Cambridge (Philosophiæ doctor) (jusqu'en 1988)
Activités	Mathématicienne, logicienne, informaticienne

Autres informations
A travaillé pour	Nuance Communications (2012-2018), Palo Alto Research Center (2000-2008), Samsung Electronics
Dir. de thèse	Martin Hyland
Site web	github.com/vcvpaiva

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[3]^,[4]. 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 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].

Publications (sélection)

Valeria de Paiva et Harley Eades III, « Multiple conclusion linear logic: cut elimination and more », Journal of Logic and Computation, vol. 30, n^o 1,‎ 2020, p. 157–174 (DOI 10.1093/logcom/exaa006).
Valeria de Paiva et Eike Ritter, « Fibrational Modal Type Theory », Electronic Notes in Theoretical Computer Science, vol. 323,‎ 2016, p. 143–161 (DOI 10.1016/j.entcs.2016.06.010).
Valeria de Paiva, « The Dialectica categories », Categories in computer science and logic, Proc. AMS-IMS-SIAM Jt. Summer Res. Conf., Boulder/Colo. 1987,, Contemporary Mathematics, vol. 92,‎ 1989, p. 47-62 (zbMATH 0675.03039, présentation en ligne).

Notes et références

« Valeria de Paiva », Career Profiles, Mathematical Association of America (consulté le 24 juillet 2015).
Page personnelle de Valeria de Paiva.
Valeria Correa Vaz de Paiva, The dialectica categories (thèse PhD), University of Cambridge, 1988 (ISSN 1476-2986, lire en ligne).
(en) « Valeria de Paiva », sur le site du Mathematics Genealogy Project.
Curriculum vitæ.
Page personnelle à l'université de Birmingham, retrieved 2015-07-24.
« DLMPST Website: Council 2020-2023 » (consulté le 16 avril 2020).

Liens externes

Notices d'autorité :
Ressources relatives à la recherche :
- Google Scholar
- Semantic Scholar
- (en) Digital Bibliography & Library Project
- (en) Dimensions
- (en) Mathematics Genealogy Project
- (en) ORCID
- (mul) Scopus
Publications de Valeria de Paiva sur Zentralblatt MATH

Portail des mathématiques
Portail de l'informatique théorique
Portail du Brésil

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[maa-1] « Valeria de Paiva », Career Profiles, Mathematical Association of America (consulté le 24 juillet 2015).

[2] Page personnelle de Valeria de Paiva.

[vphd-3] Valeria Correa Vaz de Paiva, The dialectica categories (thèse PhD), University of Cambridge, 1988 (ISSN 1476-2986, lire en ligne).

[mathgene-4] (en) « Valeria de Paiva », sur le site du Mathematics Genealogy Project.

[5] Curriculum vitæ.

[bham-6] Page personnelle à l'université de Birmingham, retrieved 2015-07-24.

[7] « DLMPST Website: Council 2020-2023 » (consulté le 16 avril 2020).