Difference between revisions of "Recherche:theme1"
Line 1: | Line 1: | ||
− | + | == Modélisation, Construction et Preuves en géométrie == | |
− | + | ||
+ | Ce thème fédère les activités de recherche autour de la modélisation géométrique qu’il conjugue sous toutes ses coutures. Il se découpe en trois opérations complémentaires. L’opération 1 (modélisation géométrique et topologique) a pour sujet l’étude des modèles combinatoires qui constitue le socle commun à toute l’équipe. L’opération 2 (résolution de contraintes géométriques) étudie un point de vue complémentaire enrichissant notamment les aspects de plongement. L’opération 3 (spécifications et preuves en géométrie) est particulièrement originale et fait profiter la modélisation géométrique des toutes dernières techniques de spécifications et preuves. | ||
+ | |||
+ | === Participants permanents === | ||
+ | * 4 professeurs: | ||
+ | ** Dominique Bechmann | ||
+ | ** Jean-François Dufourd | ||
+ | ** Jean-Michel Dischler | ||
+ | ** Pascal Schreck | ||
+ | * 7 Maîtres de conférences: | ||
+ | ** Rémi Allègre | ||
+ | ** David Cazier | ||
+ | ** Nicolas Magaud | ||
+ | ** Pascal Mathis | ||
+ | ** Julien Narboux | ||
+ | ** Basile Sauvage | ||
+ | ** Caroline Villard | ||
+ | * 1 ingénieur de recherche: | ||
+ | ** Sylvain Thery | ||
+ | |||
+ | === Découpage en opérations === | ||
+ | |||
+ | Ce thème se décompose en 3 opérations: | ||
+ | |||
+ | ''' Opération 1: [[THEME_1_OPERATION1|Modélisation géométrique et topologique]]''' | ||
+ | |||
+ | Participants permanents : | ||
+ | * Dominique Bechmann | ||
+ | * Jean-Michel Dischler | ||
+ | * Rémi Allègre | ||
+ | * David Cazier | ||
+ | * Basile Sauvage | ||
+ | * Sylvain Thery | ||
+ | |||
+ | ''' Opération 2: [[THEME_1_OPERATION2|Constructions géométriques et résolution de contraintes]] ''' | ||
+ | |||
+ | Participants permanents : | ||
+ | * Pascal Schreck | ||
+ | * Pascal Mathis | ||
+ | * Julien Narboux | ||
+ | * Caroline Villard | ||
+ | |||
+ | |||
+ | ''' Opération 3: [[THEME_1_OPERATION3|Spécifications et preuves en géométrie]] ''' | ||
+ | |||
+ | Participants permanents : | ||
+ | * Jean-François Dufourd | ||
+ | * Nicolas Magaud | ||
+ | * Julien Narboux |
Revision as of 21:27, 25 February 2009
Modélisation, Construction et Preuves en géométrie
Ce thème fédère les activités de recherche autour de la modélisation géométrique qu’il conjugue sous toutes ses coutures. Il se découpe en trois opérations complémentaires. L’opération 1 (modélisation géométrique et topologique) a pour sujet l’étude des modèles combinatoires qui constitue le socle commun à toute l’équipe. L’opération 2 (résolution de contraintes géométriques) étudie un point de vue complémentaire enrichissant notamment les aspects de plongement. L’opération 3 (spécifications et preuves en géométrie) est particulièrement originale et fait profiter la modélisation géométrique des toutes dernières techniques de spécifications et preuves.
Participants permanents
- 4 professeurs:
- Dominique Bechmann
- Jean-François Dufourd
- Jean-Michel Dischler
- Pascal Schreck
- 7 Maîtres de conférences:
- Rémi Allègre
- David Cazier
- Nicolas Magaud
- Pascal Mathis
- Julien Narboux
- Basile Sauvage
- Caroline Villard
- 1 ingénieur de recherche:
- Sylvain Thery
Découpage en opérations
Ce thème se décompose en 3 opérations:
Opération 1: Modélisation géométrique et topologique
Participants permanents :
- Dominique Bechmann
- Jean-Michel Dischler
- Rémi Allègre
- David Cazier
- Basile Sauvage
- Sylvain Thery
Opération 2: Constructions géométriques et résolution de contraintes
Participants permanents :
- Pascal Schreck
- Pascal Mathis
- Julien Narboux
- Caroline Villard
Opération 3: Spécifications et preuves en géométrie
Participants permanents :
- Jean-François Dufourd
- Nicolas Magaud
- Julien Narboux