Recherche:theme1

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: Geometric and topological modeling

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