paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 268157723Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Suresh, Amrita (19..-....)
Nom à l'état civil

Sur le web

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 : Inde
Date de naissance :    19XX
Genre : Inconnu

Notes

Note publique d'information : 
Titulaire d'un doctorat en Informatique (université Paris-Saclay, 2022)

Identifiants externes

Identifiant ORCID : 0000-0001-6819-9093
Identifiant SCOPUS : 57219185182

Source

Formal Verification of Communicating Automata / Amrita Suresh ; sous la direction de Alain Finkel. Thèse de doctorat : Informatique : université Paris-Saclay : 2022

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