IRCCyN, téléphone: (+33) 2 40 37 69 00 1, rue de la Noë, e-mail: guillaume.moroz@lip6.fr 44321, Nantes
Actuellement en stage post-doctoral à l’IRCCyN, à Nantes, je travaille sur des problèmes de conception de robots dans l’équipe MCM.
Après une classe préparatoire au lycée Louis-Le-Grand, j‘ai intégré l’École Normale Supérieure d’Ulm. J’y ai suivi le magistère math-informatique. Mon exposé de maîtrise portait sur les processus stochastiques. J’ai ensuite appliqué ces méthodes au repliement de protéine lors d’un stage long au laboratoire BioX de Stanford.
Ensuite, je me suis intéressé à d’autres applications ( robotique, calibration ) ainsi qu’aux aspects plus théoriques liés à la résolution des systèmes d’équations paramétrées ( complexité ). Après ma thèse sur les systèmes paramétrés, soutenue en décembre 2008, j’ai effectué un stage post-doctoral au sein de la société Maplesoft, au Canada. Plus d’informations sont disponibles sur mon cv.
Ma principale activité de recherche porte sur la résolution de systèmes paramétrés. Mes intérêts de recherches recouvrent:
- l’élimination des quantificateurs ( issac 2006 )
- la théorie de la complexité ( issac 2006 )
- la bio-informatique ( biogeometry people, rapport de maitrise )
- la vision par ordinateur ( rapport de license, issac 2008 )
- l’algorithmique ( ascm 2008 )
- les systèmes creux ( adg 2008 )
- la robotique ( thèse, chapitre 9 )
Dans le cadre de ma thèse, j’ai notamment développé deux logiciels permettant de résoudre automatiquement des problèmes modélisables par des systèmes dépendant de paramètres:
En tant que moniteur à l’université Pierre et Marie Curie, j’ai participé activement à la création des ue:
Langage support Niveau Initiation à l’informatique pour scientifiques maple L1 Calculabilité et Décidabilité ocaml L3 ainsi qu’à l’animation de TD et TME d’informatique pratique et fondamentale:
Langage support Niveau Types et structures de données ocaml L2 Initiation à la programmation impérative en C C L2 Machine et représentation assembleur MIPS L2 Structures Discrètes tarski L2 Environnement de développement shell L3 pour lesquels j’ai rédigé de nombreux documents pédagogiques ( sujets d’examens, de td, de tme, etc… )