Difference between revisions of "Recherche:theme1"
Line 1: | Line 1: | ||
− | == | + | == Modeling, construction and proofs in geometry == |
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. | 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. | ||
− | === | + | === Permanent members === |
− | * 4 | + | * 4 professors: |
** Dominique Bechmann | ** Dominique Bechmann | ||
** Jean-François Dufourd | ** Jean-François Dufourd | ||
** Jean-Michel Dischler | ** Jean-Michel Dischler | ||
** Pascal Schreck | ** Pascal Schreck | ||
− | * 7 | + | * 7 associate professors: |
** Rémi Allègre | ** Rémi Allègre | ||
** David Cazier | ** David Cazier | ||
Line 17: | Line 17: | ||
** Basile Sauvage | ** Basile Sauvage | ||
** Caroline Villard | ** Caroline Villard | ||
− | * 1 | + | * 1 research engineer: |
** Sylvain Thery | ** Sylvain Thery | ||
− | === | + | === Partitioning into operations === |
− | + | This theme splits into three complementary operations : | |
''' Opération 1: [[THEME_1_OPERATION1|Modélisation géométrique et topologique]]''' | ''' Opération 1: [[THEME_1_OPERATION1|Modélisation géométrique et topologique]]''' | ||
− | + | Permanent members : | |
* Dominique Bechmann | * Dominique Bechmann | ||
* Jean-Michel Dischler | * Jean-Michel Dischler | ||
Line 36: | Line 36: | ||
''' Opération 2: [[THEME_1_OPERATION2|Constructions géométriques et résolution de contraintes]] ''' | ''' Opération 2: [[THEME_1_OPERATION2|Constructions géométriques et résolution de contraintes]] ''' | ||
− | + | Permanent members : | |
* Pascal Schreck | * Pascal Schreck | ||
* Pascal Mathis | * Pascal Mathis | ||
Line 45: | Line 45: | ||
''' Opération 3: [[THEME_1_OPERATION3|Spécifications et preuves en géométrie]] ''' | ''' Opération 3: [[THEME_1_OPERATION3|Spécifications et preuves en géométrie]] ''' | ||
− | + | Permanent members : | |
* Jean-François Dufourd | * Jean-François Dufourd | ||
* Nicolas Magaud | * Nicolas Magaud | ||
* Julien Narboux | * Julien Narboux |
Revision as of 15:47, 12 June 2009
Modeling, construction and proofs in geometry
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.
Permanent members
- 4 professors:
- Dominique Bechmann
- Jean-François Dufourd
- Jean-Michel Dischler
- Pascal Schreck
- 7 associate professors:
- Rémi Allègre
- David Cazier
- Nicolas Magaud
- Pascal Mathis
- Julien Narboux
- Basile Sauvage
- Caroline Villard
- 1 research engineer:
- Sylvain Thery
Partitioning into operations
This theme splits into three complementary operations :
Opération 1: Modélisation géométrique et topologique
Permanent members :
- 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
Permanent members :
- Pascal Schreck
- Pascal Mathis
- Julien Narboux
- Caroline Villard
Opération 3: Spécifications et preuves en géométrie
Permanent members :
- Jean-François Dufourd
- Nicolas Magaud
- Julien Narboux