Différences entre les versions de « Christophe Brun »
Aller à la navigation
Aller à la recherche
Ligne 25 : | Ligne 25 : | ||
===Mots-clés=== | ===Mots-clés=== | ||
* Spécification, preuve formelle, coq, induction structurelle, cartes combinatoires | * Spécification, preuve formelle, coq, induction structurelle, cartes combinatoires | ||
+ | ===Programme Galapagos=== | ||
+ | * [http://galapagos.gforge.inria.fr/ http://galapagos.gforge.inria.fr/] | ||
==Publications== | ==Publications== | ||
<websiteFrame lg=fr author=Brun year=-1 Hide=2 search=0> | <websiteFrame lg=fr author=Brun year=-1 Hide=2 search=0> |
Version du 17 janvier 2008 à 14:36
- Doctorant dans l'équipe Informatique Géométrique et Graphique (IGG) du Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT) de l'Université Louis Pasteur à Strasbourg.
Contact
Christophe Brun LSIIT / UMR 7005 CNRS-ULP Equipe IGG - Bureau C120 Pôle API - BP 10413 Boulevard Sébastien Brant 67412 Illkirch Cedex Tel : +33 (0)3 90 24 45 74 Fax : +33 (0)3 90 24 44 45 Mail : brun AT lsiit.u-strasbg.fr |
Recherche
Sujet de thèse
- Construction et certification de programmes en algorithmique géométrique
Direction de thèse
Mots-clés
- Spécification, preuve formelle, coq, induction structurelle, cartes combinatoires
Programme Galapagos
Publications
<websiteFrame lg=fr author=Brun year=-1 Hide=2 search=0> website=http://lsiit.u-strasbg.fr/Publications/index.php height=500 width=100% scroll=auto border=1 </websiteFrame>