Thirioux, Xavier (19..-.... ; enseignant-chercheur en informatique)

Thirioux, Xavier (19..-.... ; enseignant-chercheur en informatique)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 059654252

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

Notice de type Personne

Point d'accès autorisé

Thirioux, Xavier (19..-.... ; enseignant-chercheur en informatique)

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

Date de naissance : 19XX

Genre : Masculin

Notes

Note publique d'information :

Titulaire d'un doctorat en Informatique à l'Institut National Polytechnique de Toulouse en 1999

Note publique d'information :

Maître de conférences en poste à l'Institut national polytechnique de Toulouse (INPT) ; membre de l'Institut de Recherche en Informatique de Toulouse (IRIT) (depuis 2003).

Note publique d'information :

Enseignant-chercheur au DISC de l'ISAE-SUPAERO (Toulouse)

Note publique d'information :

Habilitation à diriger des recherches (HDR) (2016)

Identifiants externes

Identifiant SCOPUS : 56185944800

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

Source

Adéquation algorithme architecture automatisée par solveur SMT / Émilien Kofman ; sous la direction de Robert de Simone et François Verdier. Thèse de doctorat : Informatique : Côte d'Azur : 2017

Information trouvée : Rapporteur de thèse, membre du jury

Vérification de propriétés temporelles de programmes réactifs répartis / par Xavier Thirioux ; sous la dir. de Gérard Padiou [Thèse doctorat : Informatique : Toulouse, INPT : 1999]

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