Difference between revisions of "Recherche:theme1"
David.cazier (talk | contribs) |
m |
||
(12 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
− | == | + | == Modeling, construction and proofs in geometry == |
− | |||
− | + | This theme focuses on research activities around the topic of geometric modeling. It splits in three complementary operations. Operation 1 (Geometric and topological modeling) studies de combinatorial models which are the common basis for the whole team. Operation 2 (Solving of geometric constraints) studies a complementary point of view, especially the embeddings. Operation 3 (Specifications and proofs in geometry) is an original topic which makes geometric modeling benefit from the latest advances in specifications and proofs. | |
− | === | + | === 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 | ||
− | * | + | * 1 full researcher CR1: |
− | ** | + | ** Hyewon Seo |
+ | * 9 associate professors: | ||
+ | ** Rémi Allègre | ||
+ | ** Gabriel Braun | ||
** David Cazier | ** David Cazier | ||
+ | ** Caroline Essert | ||
+ | ** Pierre Kraemer | ||
** Nicolas Magaud | ** Nicolas Magaud | ||
** Pascal Mathis | ** Pascal Mathis | ||
− | ** | + | ** Julien Narboux |
− | * | + | ** Basile Sauvage |
− | ** Sylvain Thery | + | * 1 research engineer: |
+ | ** Sylvain Thery | ||
− | === | + | === Partitioning into operations === |
− | |||
− | |||
− | |||
− | + | This theme splits in three complementary operations : | |
− | |||
− | + | ''' Operation 1: [[THEME_1_OPERATION1|Geometric and topological modeling]]''' | |
− | |||
− | + | Permanent members : | |
− | |||
− | |||
− | |||
− | |||
− | |||
* Dominique Bechmann | * Dominique Bechmann | ||
− | * | + | * Jean-Michel Dischler |
+ | * Rémi Allègre | ||
+ | * Pierre Kraemer | ||
* David Cazier | * David Cazier | ||
+ | * Basile Sauvage | ||
+ | * Hyewon Seo | ||
* Sylvain Thery | * Sylvain Thery | ||
− | |||
+ | ''' Operation 2: [[THEME_1_OPERATION2|Solving of geometric constraints]] ''' | ||
− | + | Permanent members : | |
− | |||
− | |||
* Pascal Schreck | * Pascal Schreck | ||
+ | * Caroline Essert | ||
* Pascal Mathis | * Pascal Mathis | ||
− | * | + | * Julien Narboux |
− | ''' | + | ''' Operation 3: [[THEME_1_OPERATION3|Specifications and proofs in geometry]] ''' |
− | + | Permanent members : | |
* Jean-François Dufourd | * Jean-François Dufourd | ||
* Nicolas Magaud | * Nicolas Magaud | ||
+ | * Julien Narboux | ||
+ | |||
+ | [[fr:Recherche:thème1]] |
Latest revision as of 08:32, 28 July 2009
Modeling, construction and proofs in geometry
This theme focuses on research activities around the topic of geometric modeling. It splits in three complementary operations. Operation 1 (Geometric and topological modeling) studies de combinatorial models which are the common basis for the whole team. Operation 2 (Solving of geometric constraints) studies a complementary point of view, especially the embeddings. Operation 3 (Specifications and proofs in geometry) is an original topic which makes geometric modeling benefit from the latest advances in specifications and proofs.
Permanent members
- 4 professors:
- Dominique Bechmann
- Jean-François Dufourd
- Jean-Michel Dischler
- Pascal Schreck
- 1 full researcher CR1:
- Hyewon Seo
- 9 associate professors:
- Rémi Allègre
- Gabriel Braun
- David Cazier
- Caroline Essert
- Pierre Kraemer
- Nicolas Magaud
- Pascal Mathis
- Julien Narboux
- Basile Sauvage
- 1 research engineer:
- Sylvain Thery
Partitioning into operations
This theme splits in three complementary operations :
Operation 1: Geometric and topological modeling
Permanent members :
- Dominique Bechmann
- Jean-Michel Dischler
- Rémi Allègre
- Pierre Kraemer
- David Cazier
- Basile Sauvage
- Hyewon Seo
- Sylvain Thery
Operation 2: Solving of geometric constraints
Permanent members :
- Pascal Schreck
- Caroline Essert
- Pascal Mathis
- Julien Narboux
Operation 3: Specifications and proofs in geometry
Permanent members :
- Jean-François Dufourd
- Nicolas Magaud
- Julien Narboux