Valeria de Paiva - Valeria de Paiva

Valeria de Paiva
narozený
Valeria Correa Vaz de Paiva
Alma materUniverzita v Cambridge (PhD)
Vědecká kariéra
Pole
InstitucePARC
Komunikace Nuance
University of Birmingham
TezeKategorie Dialectica  (1988)
Doktorský poradceMartin Hyland[2]
webová stránkavcvpaiva.github.io

Valeria Correa Vaz de Paiva je brazilský matematik, logik, a počítačový vědec spojený s Samsung Research America Její práce zahrnuje výzkum logických přístupů k výpočet, zejména pomocí teorie kategorií, reprezentace znalostí a přirozený jazyk sémantika, a Funkcionální programování se zaměřením na nadace a teorie teorií.[3][4][5]

Vzdělávání

De Paiva získal bakalářský titul z matematiky v roce 1982,[3] magisterský titul v roce 1984 (čistá algebra) a absolvoval doktorát na Univerzita v Cambridge v roce 1988 pod dohledem Martin Hyland.[6][2] Její práce byla představena Dialektické prostory, a kategorický způsob konstrukce modelů lineární logika.

Kariéra a výzkum

Pracovala devět let v PARC v Palo Alto, Kalifornie, a také pracoval ve společnostech Rearden Commerce a Cuil před připojením k Nuance.[4][7] Je čestná výzkumný pracovník v informatice na University of Birmingham.[1][7] V současné době je v Radě EU Oddělení logiky, metodologie a filozofie vědy a techniky Mezinárodního svazu historie a filozofie vědy a techniky (2020-2023).[8]

Vybrané publikace

  • Přiřazení termínu pro intuitivní lineární logiku. (s Bentonem, Biermanem a Hylandem). Technical Report 262, University of Cambridge Computer Laboratory. Srpna 1992.
  • Lineales. (s J.M.E. Hylandem) V „O que nos faz pensar“ Zvláštní číslo v logice „Cadernos do Dept. de Filosofia da PUC“, Papežská katolická univerzita v Riu de Janeiro, Abril 1991.
  • Dialektický model lineární logiky. In Proceedings of Category Theory and Computer Science, Manchester, UK, September 1989. Springer-Verlag LNCS 389 (eds. D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts a A. Poigne).
  • Kategorie Dialectica. In Proc of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics, sv. 92, American Mathematical Society, 1989 (eds. J. Gray a A. Scedrov)

Reference

  1. ^ A b Valeria de Paiva publikace indexované podle Google Scholar Upravte to na Wikidata
  2. ^ A b Valeria de Paiva na Matematický genealogický projekt
  3. ^ A b „Valeria de Paiva“, Profily kariéry, Mathematical Association of America, vyvoláno 2015-07-24.
  4. ^ A b „Profil: Valeria de Paiva“ (PDF), Měsíc povědomí o matematice, Společná politická rada pro matematiku, Duben 2015, vyvoláno 2015-07-24.
  5. ^ Valeria de Paiva Oficiální webové stránky
  6. ^ Paiva, Valeria Correa Vaz de (1988). Dialektické kategorie (PDF). cl.cam.ac.uk (Disertační práce). Univerzita v Cambridge. ISSN  1476-2986. OCLC  26346882. EThOS  uk.bl.ethos.315050.UCAM-CL-TR-213
  7. ^ A b Domovská stránka, University of Birmingham, vyvoláno 2015-07-24.
  8. ^ „Web DLMPST: Rada 2020–2023“. Citováno 16. dubna 2020.