paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Contrôler dans Paprika
Contrôle Paprika
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 265325056Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/265325056/idCopier cet URI
Notice de type Personne

Point d'accès autorisé

Pimentel, Elaine (1968-....)
Nom à l'état civil

Variante de point d'accès

Gouvêa Pimentel, Elaine
[Nom de personne]

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : anglais
Pays : Brésil
Date de naissance :    1968
Genre : Féminin

Notes

Note publique d'information : 
Rapportrice d'une thèse en informatique. Associate Professor at UCL Computer Science (2022)

Identifiants externes

Identifiant ZBMath : pimentel.elaine
Identifiant ORCID : 0000-0002-7113-0801
Identifiant VIAF : https://viaf.org/viaf/Q57305639

Source

Internet, https://sites.google.com/site/elainepimentel/ (consulté le 28/10/2022)

Information trouvée : CV, ORCID
Stronger SMT Solvers for Proof Assistants: Proofs, Quantifier Simplification, Strategy Schedules / Hans-Jörg Schurr ; sous la direction de Stephan Merz et Pascal Fontaine. Thèse de doctorat : Informatique : Université de Lorraine : 2022

Information trouvée : En poste à University College London en 2022

... Références liées : ...