Signoles, Julien (1979-....)

Signoles, Julien (1979-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 111306469

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

Notice de type Personne

Point d'accès autorisé

Signoles, Julien (1979-....)

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

Pays : France

Date de naissance : 1979

Genre : Masculin

Notes

Note publique d'information :

Auteur d'une thèse de : Informatique, Université Paris-Sud 11, Orsay (en 2006).

Note publique d'information :

Rapporteur pour une thèse en Informatique soutenue à Grenoble Alpes en 2019. Ingénieur de Recherche CEA

Identifiants externes

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

Identifiant ORCID : 0000-0001-9266-0820

Identifiant SCOPUS : 25522461600

Identifiant ISNI : 0000000139519270

Source

Extension de ML avec raffinement / synthaxe, sémantiques et système de types / Julien Signoles, 2006 [thèse]

ParTraP : Un langage pour la spécification et vérification à l'exécution de propriétés paramétriques / Yoann Blein ; sous la direction de Yves Ledru et codirigée par Lydie Du Bousquet. Thèse de doctorat : Informatique : 2019

Information trouvée : Ingénieur et chercheur au CEA LIST (Gif-sur-Yvette)

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