Marché, Claude (19..-... ; chercheur en informatique) (original) (raw)

Identifiant pérenne de la notice : 069480249

Notice de type Personne

Point d'accès autorisé

Marché, Claude (19..-... ; chercheur en informatique)

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

Date de naissance : 19XX

Date de début d'activité : 1993

Genre : Masculin

Notes

Note publique d'information :

Auteur d'une thèse en informatique soutenue à l'université Paris 11 (en 1993)

Note publique d'information :

Directeur d'une thèse de doctorat en informatique, Paris 11, 2012

Note publique d'information :

Directeur de Recherche, INRIA en 2014

Source

Certification of a Tool Chain for Deductive Program Verification / par Paolo Herms ; sous la direction de Claude Marché, 2012 - [Thèse]

Internet, https://www.lri.fr/\~marche/index.fr.html (consulté le 03/07/2014)

Réécriture modulo une théorie présentée par un système convergent et décidabilité des problèmes du mot dans certaines classes de théories equationnelles / Claude Marché ; sous la dir. de Jean-Pierre Jouannaud [thèse], 1993

Schematic calculi for the analysis of decision procedures = Calculs schématiques pour l'analyse de procédures de décision / par Elena tushkanova; sous la co-direction d'Olga Kouchnarenko et et de Claude Marché, 2013 [Thèse]