Différences entre les versions de « Utilisateur:Thierry »
Aller à la navigation
Aller à la recherche
m |
|||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 2 : | Ligne 2 : | ||
__NOTOC__ | __NOTOC__ | ||
| − | * | + | == Functions == |
| − | * | + | |
| − | * Chargé de mission | + | * Attaché Temporaire d'Enseignement et de Recherche (ATER) en information à l'http://www.unistra.fr Université de Strasbourg] |
| − | * Représentant élu des personnels non | + | * Enseignant au [http://dpt-info.u-strasbg.fr Département d'Informatique] de l'[http://www-mathinfo.unistra.fr UFR de Mathématiques & Informatique] |
| − | * Représentant élu des doctorants en informatique au | + | * Chercheur au [http://lsiit-cnrs.unistra.fr LSIIT] (Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection) |
| − | + | ||
| + | == Recherche == | ||
| + | |||
| + | ''Domaine'': Modélisation géométrique par contraintes | ||
| + | |||
| + | ''Mots clefs'': Systèmes de Contraintes Géométriques, Sous-constriction, Décomposition, Paramétrisation, Groupes de transformation | ||
| + | |||
| + | ''Travaux en cours'': | ||
| + | * paramétrisation de systèmes de contraintes géométriques sous-contraints | ||
| + | * identification des sous-systèmes bien contraints maximaux | ||
| + | * preuve formelle de correction et de complétude des méthodes de décomposition | ||
| + | * résolution itérative de systèmes de contraintes géométriques | ||
| + | |||
| + | == Enseignement == | ||
| + | |||
| + | ''Formations'': Licence d'Informatique, ENSIIE | ||
| + | |||
| + | ''Domaines'': | ||
| + | * Algorithmique et Programmation | ||
| + | * Théorie des Graphes | ||
| + | * Théorie des Langages | ||
| + | |||
| + | == Un bref CV == | ||
| + | |||
| + | * '''Chargé de mission''' auprès du Vice-Président en charge des Ressources Humaines de l'Université de Strasbourg, en charge des « Jeunes Chercheurs » (2009-2010) | ||
| + | * '''Représentant élu''' des personnels non docteurs au Conseil Scientifique de l'Université Louis Pasteur puis de l'Université de Strasbourg (2006-2010) | ||
| + | * '''Représentant élu''' des doctorants en informatique au conseil de l'http://www-edmsii.u-strasbg.fr ED MSII] (2007-2010) | ||
| + | |||
| + | 2010-2011: ATER docteur à l'Université de Strasbourg | ||
| + | |||
| + | 2009-2010: ATER doctorant à l'Université de Strasbourg | ||
| + | |||
| + | 2006-2009: Allocataire moniteur à l'Université de Strasbourg | ||
| + | |||
| + | == Contact == | ||
{| cellspacing="20" width="100%" | {| cellspacing="20" width="100%" | ||
| | | | ||
Simon E.B. Thierry | Simon E.B. Thierry | ||
| − | LSIIT - | + | LSIIT - UMR7005 CNRS-ULP |
Pôle API C125 | Pôle API C125 | ||
Bd Sébastien Brant - BP 10413 | Bd Sébastien Brant - BP 10413 | ||
67412 Illkirch cedex | 67412 Illkirch cedex | ||
| | ||
| − | Tel LSIIT : +33 (0)3- | + | Tel LSIIT : +33 (0)3-90-24-45-75 |
| − | Fax LSIIT : +33 (0)3- | + | Fax LSIIT : +33 (0)3-90-24-44-45 |
| − | Courriel : | + | Courriel : thierry@lsiit.u-strasbg.fr |
|align="right"|[[Image:thierry.jpg|105px|right|Simon E.B. Thierry]] | |align="right"|[[Image:thierry.jpg|105px|right|Simon E.B. Thierry]] | ||
|} | |} | ||
| − | + | Plus d'informations sur [http://dpt-info.u-strasbg.fr/~simon.thierry/ mon site] au département d'informatique | |
==Publications== | ==Publications== | ||
Version actuelle datée du 2 novembre 2010 à 16:42
Functions
- Attaché Temporaire d'Enseignement et de Recherche (ATER) en information à l'http://www.unistra.fr Université de Strasbourg]
- Enseignant au Département d'Informatique de l'UFR de Mathématiques & Informatique
- Chercheur au LSIIT (Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection)
Recherche
Domaine: Modélisation géométrique par contraintes
Mots clefs: Systèmes de Contraintes Géométriques, Sous-constriction, Décomposition, Paramétrisation, Groupes de transformation
Travaux en cours:
- paramétrisation de systèmes de contraintes géométriques sous-contraints
- identification des sous-systèmes bien contraints maximaux
- preuve formelle de correction et de complétude des méthodes de décomposition
- résolution itérative de systèmes de contraintes géométriques
Enseignement
Formations: Licence d'Informatique, ENSIIE
Domaines:
- Algorithmique et Programmation
- Théorie des Graphes
- Théorie des Langages
Un bref CV
- Chargé de mission auprès du Vice-Président en charge des Ressources Humaines de l'Université de Strasbourg, en charge des « Jeunes Chercheurs » (2009-2010)
- Représentant élu des personnels non docteurs au Conseil Scientifique de l'Université Louis Pasteur puis de l'Université de Strasbourg (2006-2010)
- Représentant élu des doctorants en informatique au conseil de l'http://www-edmsii.u-strasbg.fr ED MSII] (2007-2010)
2010-2011: ATER docteur à l'Université de Strasbourg
2009-2010: ATER doctorant à l'Université de Strasbourg
2006-2009: Allocataire moniteur à l'Université de Strasbourg
Contact
Simon E.B. Thierry LSIIT - UMR7005 CNRS-ULP Pôle API C125 Bd Sébastien Brant - BP 10413 67412 Illkirch cedex Tel LSIIT : +33 (0)3-90-24-45-75 Fax LSIIT : +33 (0)3-90-24-44-45 Courriel : thierry@lsiit.u-strasbg.fr |
 |
Plus d'informations sur mon site au département d'informatique
Publications
<websiteFrame lg=fr idAuthor="1027" Hide=2 search=0> website=http://lsiit.u-strasbg.fr/Publications/index.php height=400 width=100% scroll=auto border=1 </websiteFrame>