Danos, Vincent

Danos, Vincent

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 113149557

URI de l'entité : http://www.idref.fr/113149557/id

Notice de type Personne

Point d'accès autorisé

Danos, Vincent

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 : français,anglais

Pays : France

Genre : Masculin

Notes

Note publique d'information :

Bioinformaticien. Directeur de recherche CNRS, membre de l'équipe de recherche Analyse statique par interprétation abstraite (ANTIQUE), Département d'informatique (DI-ENS, UMR 8548), École normale supérieure, Paris (en 2021)

Note publique d'information :

Membre de jury pour une thèse en Mathématiques et informatique soutenue à Grenoble Alpes en 2018.

Identifiants externes

Identifiant ZBMath : danos.vincent

Identifiant VIAF : http://viaf.org/viaf/13401375

Identifiant HAL : vincent-danos

Identifiant ISNI : 000000004279329X

Source

Catégories et diagrammes de cordes pour les jeux concurrents / Clovis Eberhart ; sous la direction de Tom Hirschowitz.Thèse de doctorat : Mathématiques et informatique : Grenoble Alpes : 2018

Information trouvée : Directeur de recherche au CNRS dans le Département d'informatique à l'Ecole Nationale Supérieure (2018)

Etude d'un formalisme concurrent pour les phénomènes d'auto-organisation et la biologie moléculaire/ Fabien Tarissan; sous la direction de Vincent Danos

http://id.loc.gov/authorities/names/nb2005003505, 2021-07-01

Information trouvée : Danos, Vincent

https://www.di.ens.fr/~danos/, 2021-07-01

Information trouvée : Bioinformaticien. Directeur de recherche CNRS, membre de l'équipe de recherche Analyse statique par interprétation abstraite (ANTIQUE), Département d'informatique (DI-ENS, UMR 8548), École normale supérieure, Paris

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