mini|Valeria de Paiva im Hafen von Boston, 2014 Valeria Correa Vaz de Paiva (* 13. Juni 1959 in Pouso Alegre, Brasilien) ist eine brasilianische Mathematikerin und Informatikerin. Sie war Professorin an der Universität Birmingham und arbeitete in führenden Laboren für natürliche Sprachverarbeitung (NLP) der Industrie, darunter Samsung Research America, Nuance, Deem, Cuil und viele Jahre bei Xerox PARC.
Leben und Werk De Pavia wuchs in Rio de Janeiro auf und begann ihr Studium zunächst mit den Fächern Journalismus und Jura. Sie studierte dann Mathematik an der Pontifical Catholic University (PUC) in Rio de Janeiro, wo sie 1982 einen Bachelor-Abschluss in Reiner Mathematik und 1984 einen Master-Abschluss in Algebra mit der Arbeit The Hurwitz-Radon Transformations erhielt. An der University of Cambridge promovierte sie 1988 bei Martin Hyland mit der Dissertation The Dialectica Categories. Ihre Dissertation definierte das Konzept der Dialekträume, eine neue Methode zur Konstruktion von Modellen der linearen Logik, einer logischen Form, die in Bereichen wie Linguistik, Programmiersprachen und Quantenphysik Einfluss hatte.http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-213.pdf
Von 1982 bis 1990 war sie Assistenzprofessorin an der PUC und von 1996 bis 2000 war sie Assistent Professor an der School of Computer Science der University of Birmingham. Anschließend forschte sie in führenden NLP-Laboren der US-amerikanischen Industrie, unter anderem bis 2008 bei dem Palo Alto Research Center (PARC), bis 2018 bei Nuance Communications-Sunnyvale und bei Samsung Research America-Mountain View. Seit 2020 ist sie leitende Wissenschaftlerin am Topos Institute in Berkeley, einem Forschungslabor für Mathematik und Informatik.
Sie ist Mitglied des Beirats der Abteilung für Logik, Methodologie und Wissenschaftsphilosophie und Dozentin für Einführung in die Logik und Spezifikationen an der Santa Clara University. Sie leitet das Kollektiv Women in Logic mit einer Facebook-Gruppe und einem Blog, unterstützt das Stipendienprogramm ACM-W und initiierte den internationalen Workshop Women in Logic. Von März 2019 bis März 2020 war sie die dritthäufigst gesuchte brasilianische Mathematikerin in Internetsuchmaschinen.
Weblinks
Google Scholar-Profil Researchgate-Profil Persönliche Website (englisch) Die Beteiligung von Frauen an der Mathematik hat sich verschlechtert (portugiesisch)
Einzelnachweise
Kategorie:Mathematiker (20. Jahrhundert) Kategorie:Mathematiker (21. Jahrhundert) Kategorie:Informatiker Kategorie:Brasilianer Kategorie:Geboren 1959 Kategorie:Frau