Geburt | Brasilien |
---|---|
Name in der Muttersprache | Valeria Correa Vaz aus Paiva |
Nationalitäten |
Britischer Brasilianer |
Ausbildung | Universität Cambridge ( Philosophiæ Doktor ) (bis1988) |
Aktivitäten | Mathematiker , Logiker , Informatiker |
Arbeitete für | Samsung Electronics , Palo Alto Forschungszentrum (2000- -2008) , Nuance Communications (2012- -2018) |
---|---|
Bereiche | Kategorietheorie , Wissensrepräsentation , funktionale Programmierung , lineare Logik , Informatik |
Supervisor | Martin Hyland |
Webseite | github.com/vcvpaiva |
Valeria Correa Vaz de Paiva ist eine brasilianische Mathematikerin , Logikerin und Informatikerin . Seine Forschung umfasst logische Ansätze für das Rechnen, insbesondere unter Verwendung der Kategorietheorie , der Wissensrepräsentation , der Semantik der natürlichen Sprache und der funktionalen Programmierung mit Schwerpunkt auf den Grundlagen und der Typentheorie .
De Paiva erhielt 1982 einen Bachelor-Abschluss in Mathematik, 1984 einen Master-Abschluss (in reiner Algebra) und promovierte 1988 an der Universität Cambridge unter der Aufsicht von Martin Hyland . In seiner Arbeit stellte er „dialektische Räume“ vor, eine kategorische Methode zur Konstruktion von Modellen linearer Logik .
De Paiva arbeitete neun Jahre lang im Palo Alto-Forschungszentrum in Palo Alto , dann bei Rearden Commerce und Cuil, bevor er zur Firma Nuance Communications wechselte . Von März 2019 bis Januar 2020 war sie Principal Research Scientist bei Samsung Research America.
Sie ist Honorary Lecturer-Researcher in Informatik an der Universität von Birmingham . Sie ist für den Zeitraum von 2020 bis 2023 der Rat der Abteilung für Logik, Methodik und Philosophie der Wissenschaft und Technologie (DLMPST) der Internationalen Union für Geschichte und Wissenschaftstheorie (in) .