Team IGG : Computer Graphics and Geometry

Difference between revisions of "Recherche:theme1"

From Team IGG : Computer Graphics and Geometry
Jump to navigation Jump to search
m
 
(7 intermediate revisions by the same user not shown)
Line 1: Line 1:
−
== Modélisation, Construction et Preuves en géométrie ==
+
== 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.
+
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.
  
−
=== Participants permanents ===
+
=== Permanent members ===
−
* 4 professeurs:
+
* 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 Maîtres de conférences:
+
* 1 full researcher CR1:
 +
** Hyewon Seo
 +
* 9 associate professors:
 
** Rémi Allègre
 
** Rémi Allègre
 +
** Gabriel Braun
 
** David Cazier
 
** David Cazier
 +
** Caroline Essert
 +
** Pierre Kraemer
 
** Nicolas Magaud
 
** Nicolas Magaud
 
** Pascal Mathis
 
** Pascal Mathis
 
** Julien Narboux
 
** Julien Narboux
 
** Basile Sauvage
 
** Basile Sauvage
−
** Caroline Villard
+
* 1 research engineer:
−
* 1 ingénieur de recherche:
 
 
** Sylvain Thery
 
** Sylvain Thery
  
−
=== Découpage en opérations ===
+
=== Partitioning into operations ===
  
−
Ce thème se décompose en 3 opérations:  
+
This theme splits in three complementary operations :
  
−
''' Opération 1: [[THEME_1_OPERATION1|Modélisation géométrique et topologique]]'''
+
''' Operation 1: [[THEME_1_OPERATION1|Geometric and topological modeling]]'''
  
−
Participants permanents :
+
Permanent members :
 
* Dominique Bechmann
 
* Dominique Bechmann
 
* Jean-Michel Dischler
 
* Jean-Michel Dischler
 
* Rémi Allègre
 
* Rémi Allègre
 +
* Pierre Kraemer
 
* David Cazier
 
* David Cazier
 
* Basile Sauvage
 
* Basile Sauvage
 +
* Hyewon Seo
 
* Sylvain Thery  
 
* Sylvain Thery  
  
−
''' Opération 2: [[THEME_1_OPERATION2|Constructions géométriques et résolution de contraintes]] '''
+
''' Operation 2: [[THEME_1_OPERATION2|Solving of geometric constraints]] '''
  
−
Participants permanents :
+
Permanent members :
 
* Pascal Schreck
 
* Pascal Schreck
 +
* Caroline Essert
 
* Pascal Mathis
 
* Pascal Mathis
 
* Julien Narboux
 
* Julien Narboux
−
* Caroline Villard
 
  
  
−
''' Opération 3: [[THEME_1_OPERATION3|Spécifications et preuves en géométrie]] '''
+
''' Operation 3: [[THEME_1_OPERATION3|Specifications and proofs in geometry]] '''
  
−
Participants permanents :
+
Permanent members :
 
* Jean-François Dufourd
 
* Jean-François Dufourd
 
* Nicolas Magaud
 
* Nicolas Magaud
 
* Julien Narboux
 
* 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
Retrieved from "https://igg.icube.unistra.fr/en/index.php?title=Recherche:theme1&oldid=1751"