- Início
- Cientistas
- Valeria de Paiva
Valeria.depaiva · CC BY-SA 4.0 · Wikimedia Commons
Cientista
Valeria de Paiva
- Ocupação
- cientista da computação, matemático, lógico
- Nascimento
- 1959
- Instituições
- Nuance, Topos Institute, Samsung, Xerox PARC
Área de atuaçãoprogramação funcional, ciência da computação, teoria das categorias, representação de conhecimento, lógica linear
Ocupaçãocientista da computação, matemático, lógico
Nascimento1959
InstituiçõesNuance, Topos Institute, Samsung, Xerox PARC
FormaçãoPontifícia Universidade Católica do Rio de Janeiro, Universidade de Cambridge
Local de nascimentoPouso Alegre
Orientador de doutoradoMartin Hyland
Membro deScandinavian Logic Society, SIGLOG
Fontes: Wikidata (CC0) · Wikidata Q20731777