Samuel Vivien
Observed names: Vivien Samuel, Vivien, Samuel
Observed institutions: Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Université Paris Sciences et Lettres, École Normale Supérieure - PSL, Laboratoire Lorrain de Recherche en Informatique et ses Applications, Département d'Informatique, Centre Inria de Paris, CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme, Chalmers University of Technology, Université de Lorraine
ORCID: 0000-0003-4224-6132
Observed ORCID: 0000-0003-4224-6132
OpenAlex ID: A5036749811