Différences entre les versions de « Christophe Brun »
Aller à la navigation
Aller à la recherche
| Ligne 15 : | Ligne 15 : | ||
Fax : +33 (0)3 90 24 44 45 | Fax : +33 (0)3 90 24 44 45 | ||
Mail : brun AT lsiit.u-strasbg.fr | Mail : brun AT lsiit.u-strasbg.fr | ||
| − | |||
|} | |} | ||
==Recherche== | ==Recherche== | ||
Version actuelle datée du 7 mars 2013 à 01:03
- 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>