|
Page perso : METIVIER Hugo |
|
Hugo METIVIER - Contact : hugo.metivier@irisa.fr - Téléphone : +33 2.99.84.75.41 - Adresse : IRISA / INRIA Rennes Campus Universitaire de Beaulieu 35042 Rennes Cedex - FRANCE |
Je suis actuellement doctorant à l'IRISA / INRIA Rennes dans l'équipe ESPRESSO, avec un contrat d'ATER (Attaché Temporaire d'Enseignement et de Recherche) à l'IFSIC au sein de l'Université de Rennes 1.
Mes thèmes de recherches sont la conception, l'analyse et la synchronisation de systèmes embarqués et l'interprétation abstraite. Curriculum VitaeFormation2008-2009 : ATER (Attaché Temporaire d'Enseignement et de Recherche) à l'IRISA à Rennes
2005-2008 : Doctorant à l'IRISA au sein de l'équipe ESPRESSO, contrat MENRT, encadré par Jean-Pierre TALPIN
Sujet : Calculs formels pour Signal et modèle temps réel Monitorat à l'IFSIC. (Institut de Formation Supérieure en Informatique et Communication) 2004-2005 : Master 2 Recherche Informatique à IFSIC-IRISA, filière Méthodes Formelles,
à l'Université de Rennes 1, mention assez bien (13,38 / 20), classement : 28ème sur 59 Stage à l'IRISA-INRIA Rennes encadré par Bertrand JEANNET (équipe VerTeCs) Sujet : Représentation d'ensembles de valeurs numériques en vérification de programmes (pdf) 2003-2004 : Maîtrise d'informatique à l'Université de Rennes 1, mention assez bien
2002-2003 : Licence d'informatique à l'Université de Rennes 1, mention bien
2000-2002 : DEUG MIAS (Mathématiques, Informatique et Applications aux Sciences), à l'Université de Nantes
Juin 2000 : Baccalauréat Scientifique (2nde, 1ère et Terminale au Lycée Guist'hau à Nantes)
EnseignementsATER (demi) à l'IFSIC. 88 heures équivalent TD (réparties 22h de TD et 100h de TP environ)
2008-2009 : Master 1 Miage, TP de Système d'information objet
DIIC (école d'ingénieur) 2ème année, TD de méthodes de conceptions et UML
DIIC (école d'ingénieur) 1ème année, TP de Algorithmique et programmation avec Java
Licence 3 Miage, TP de conception de pages web (html, JavaScript et php)
Licence 1 MIPE, TP de Fonctionnement de l'ordinateur
Monitorat à l'IFSIC. 192 heures équivalent TD (réparties en 2h de cours, 100h de TD et 150h de TP environ)
2007-2008 : Licence 3 Miage, TP de conception de pages web (html, JavaScript et php)
Licence 1 PCGI, TD et TP d'Informatique scientifique
2006-2007 : Master 2 Professionnel en informatique, cours et TP d'Ajax
Licence 3 Informatique, TD d'algorithmique des graphes
2005-2006 : DIIC (école d'ingénieur) 2ème année, TD de méthodes de conceptions et UMLLicence 3 Miage, TP de conception de pages web (html, JavaScript et php) Licence 1 PCGI, TD et TP d'Informatique scientifique
Licence 3 Miage, TP de conception de pages web (html, JavaScript et php)
Licence 1 PCGI, TD et TP d'Informatique scientifique Cours particuliers :
2003-2004 : Informatique, niveau bac+3 2001-2002 : Mathématiques, niveau terminale PublicationsConférence internationale :
[MTGG08] : H. Metivier, J-P. Talpin, T. Gautier and P. Le Guernic. “Analysis of periodic clock relations in polychronous systems” In DIPES’08, IFIP, Distributed Embedded Systems: Design, Middleware and Ressources, Milano, Italy, September 2008
Autres participations et documents :
Curriculum Vitae (de Juillet 2008) [EJCP06] École Jeunes Chercheurs en Programmation. 10 jours de formations, de présentations et d’exposés, IRIT, Toulouse, France, Juin 2006
[Met05] H. Metivier.
“Représentation d’ensembles de valeurs numériques en vérification de programmes” Rapport de Master 2 Recherche, IRISA, Rennes, France, Juin 2005
|