Curriculum Vitæ. Formation
|
|
- Michelle Chaput
- il y a 7 ans
- Total affichages :
Transcription
1 Curriculum Vitæ Étienne ANDRÉ Laboratoire d Informatique de l Université Paris Nord A204, Institut Galilée Avenue J.B. Clément VILLETANEUSE Mel : Page Web : Etienne.Andre@lipn.univ-paris13.fr Né en 1983 ; Nationalité française Formation 2011 : Maître de conférences au Laboratoire d Informatique de Paris Nord au sein de l Université de Paris : Post-doctorant à l Université Nationale de Singapour : Doctorant au Laboratoire Spécification et Vérification, ENS de Cachan & CNRS, France, sous la direction de Laurent Fribourg et Emmanuelle Encrenaz. Titre : Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents : Master 2 recherche de l Université de Rennes 1, France. Parcours méthodes formelles et logiciel (1 er étudiant, mention très bien). Titre du mémoire : Gestion des théories dans les foncteurs logiques pour la recomposition de logiques de description : Diplôme d ingénieur en informatique (INSA de Rennes, France) : Étudiant Erasmus dans la faculté d informatique de l Université de Dresde, Allemagne : Étudiant à l INSA de Rennes (Institut National des Sciences Appliquées) 2001 : Baccalauréat scientifique (mention très bien) Collaborations et projets 2010 : Projet CNR-CNRS : Vérification de systèmes infinis et temps-réel. Projet commun CNRS (France), Université de Chieti-Pescara, IASI-CNR, Université de Rome Tor Vergata (Italie) : Projet ANR VALMEM : Validation fonctionnelle et temporelle des mémoires embarquées, décrites au niveau transistor, par des méthodes formelles. Projet commun LSV, LIP 6 et ST-Microelectronics : Projet Farman SIMOP : analyse d une architecture d automatisation en réseau. Projet commun LSV et LURPA (ENS de Cachan, France).
2 Présentation de mes travaux Janvier 2011 : Séminaire Computing Students (Singapour) Décembre 2010 : Soutenance de thèse (Cachan, France) Décembre 2010 : Séminaire dans l équipe Henzinger, IST Austria (Vienne, Autriche) Octobre 2010 : Exposé dans le cadre du projet CNR-CNRS (Rome, Italie) Octobre 2010 : Séminaire 68NQRT à l IRISA (Rennes, France) Septembre 2010 : Exposé à INFINITY 10 (Singapour) Août 2010 : Exposé à RP 10 (Brno, République tchèque) Juillet 2010 : Exposé dans le cadre du projet CNR-CNRS (Rome, Italie) Avril 2010 : Exposé dans le groupe de travail tempo du LSV (Cachan, France) Février 2010 : Séminaire Pop Art (INRIA Grenoble, France) Janvier 2010 : Séminaire MeFoSyLoMa (Paris, France) Novembre 2009 : Exposé à MSR 09 (Nantes, France) Novembre 2009 : Séminaire au LIF (Marseille, France) Octobre 2009 : Séminaire au LIST (CEA, Saclay, France) Octobre 2009 : Séminaire Farman à l ENS de Cachan (Cachan, France) Septembre 2009 : Exposé à AVoCS 09 (Gregynog, Pays de Galles) Septembre 2009 : Exposé à l école d été ETR (Paris, France) Septembre 2009 : Exposé à INFINITY 09 (Bologne, Italie) Août 2009 : Exposé à ICTAC 09 (Kuala Lumpur, Malaisie) Septembre 2008 : Exposé à RP 08 (Liverpool, Angleterre) Juin 2008 : Exposé à l école d été MOVEP 08 (Nouan-le-Fuzelier, France) Juin 2007 : Soutenance de master 2 (Rennes, France) Janvier 2007 : Colloque master 2 (Rennes, France) Toutes les diapositives sont disponibles sur ma page Web. Participation à des conférences et écoles d été Conférence ATVA 10 : International Symposium on Automated Technology for Verification and Analysis (septembre 2010, Singapour). Atelier INFINITY 10 (septembre 2010, Singapour) ; Conférence RP 10 : Reachability Problems (août 2010, Brno, République tchèque) ; Conférence francophone MSR 09 : Modélisation des systèmes réactifs (novembre 2009, Nantes, France) ; Conférence ATVA 09 : International Symposium on Automated Technology for Verification and Analysis (octobre 2009, Macao) ; Conférence AVoCS 09 : Automated Verification of Critical Systems (septembre 2009, Gregynog, Pays de Galles) ; Atelier INFINITY 09 (septembre 2009, Bologne, Italie) ; Conférence ICTAC 09 : International Colloquium on Theoretical Aspects of Computing (août 2009, Kuala Lumpur, Malaisie) ; ETR 09 : École d été Temps Réel (septembre 2009, Paris, France) ; Conférence CAV 09 : Computer Aided Verification (juillet 2009, Grenoble, France) ; Conférence RP 08 : Reachability Problems (septembre 2008, Liverpool, Angleterre) ;
3 École d été MOVEP 08 : MOdeling and VErifying parallel Processes (juin 2008, Nouan-le- Fuzelier, France) ; Conférence TACAS 08 : Tools and Algorithms for the Construction and Analysis of Systems, ETAPS (avril 2008, Budapest, Hongrie) ; Atelier DCC 08 : Designing Correct Circuits (mars 2008, Budapest, Hongrie) ; Atelier M4M 07 : Methods for Modalities (novembre 2007, Cachan, France) ; Développement d outils PAT IMITATOR II IMPRATOR INSPEQTOR IMITATOR Outil de model-checking développé en C#. (Membre de l équipe de développement) Outil pour la synthèse de paramètres dans les automates temporisés. Implémentation de la méthode inverse et de la cartographie comportementale. Application à des études de cas réelles, dont le modèle d une mémoire commercialisée par ST-Microelectronics. Développé en OCaml, sortie graphique. (Principal développeur) Prototype pour la synthèse de paramètres dans les processus de décision markoviens. Développé en OCaml. Prototype pour la synthèse de paramètres dans les graphes orientés valués. Développé en OCaml. Prototype pour la synthèse de paramètres dans les automates temporisés. Développé en Python et basé sur HYTECH. Enseignement (Polytech Paris Sud 11, niveau master) 1. TD de compilation (cours de Frédéric Voisin) 2. TD d automates, calculabilité et complexité (cours de Philippe Dague) 3. TD et TP de concepts objet avancés (cours de Frédéric Voisin) 4. Supervision de 2 apprentis (Polytech Paris Sud 11, niveau master) 1. TD et projet de compilation (cours de Frédéric Voisin) 2. Supervision de 2 apprentis 3. Suivis de stages (Polytech Paris Sud 11, niveau master) 1. TD et projet de compilation (cours de Frédéric Voisin) 2. TD et TP de concepts objet avancés (cours de Frédéric Voisin) 3. Suivis de stages (INSA de Rennes, niveau Bac+1) 1. TP de Scheme et Java pour élèves ingénieurs Responsabilités
4 Évaluation d articles Évaluations d articles pour EMSOFT 09, ATVA 10 and FM 11. Responsabilités collectives Représentant des doctorants du LSV ( ) : participation au conseil du laboratoire de manière hebdomadaire, et envoi d un compte-rendu aux doctorants. Photographe du LSV ( ) : photographies des évènements du laboratoire, tant les évènements internes que conférences et ateliers organisés par le LSV. Participation à l équipe Web du LSV ( ). Langues Français Langue maternelle Anglais Courant (TOEIC, 2006) Allemand Courant (Abitur, 2001) Chinois Intermédiaire (HSK niveau 3, 2010), mandarin, traditionnel Espagnol Bases Publications Je présente ici la liste de mes publications. Pour tous ces articles, je suis l auteur principal ou l un des auteurs principaux. Toutes ces publications sont accessibles depuis ma page Web. Articles de journaux internationaux [1] Étienne André, Thomas Chatain, Emmanuelle Encrenaz, and Laurent Fribourg. An inverse method for parametric timed automata. International Journal of Foundations of Computer Science, 20(5): , October Articles dans les actes de conférences internationales [2] Shang-Wei Lin, Étienne André, Jin-Song Dong, Jun Sun, and Yang Liu. An efficient algorithm for learning event-recording automata. In Tevfik Bultan and Pao-Ann Hsiung, editors, Proceedings of the Ninth International Symposium on Automated Technology for Verification and Analysis (ATVA 11), Lecture Notes in Computer Science, Taipei, Taiwan, October Springer. To appear. [3] Étienne André and Romain Soulat. Synthesis of timing parameters satisfying safety properties. In Giorgio Delzanno and Igor Potapov, editors, Proceedings of the 5th Workshop on Reachability Problems in Computational Models (RP 11), volume 6945 of Lecture Notes in Computer Science, pages 31 44, Genova, Italy, September Springer. [4] Étienne André. IMITATOR II: A tool for solving the good parameters problem in timed automata. In Yu-Fang Chen and Ahmed Rezine, editors, Proceedings of the 12th International Workshops on Verification of Infinite State Systems (INFINITY 10), volume 39 of Electronic Proceedings in Theoretical Computer Science, pages 91 99, Singapore, September 2010.
5 [5] Étienne André and Laurent Fribourg. Behavioral cartography of timed automata. In Antonín Kučera and Igor Potapov, editors, Proceedings of the 4th Workshop on Reachability Problems in Computational Models (RP 10), volume 6227 of Lecture Notes in Computer Science, pages 76 90, Brno, Czech Republic, August Springer. [6] Étienne André and Laurent Fribourg. An inverse method for policy-iteration based algorithms. In Azadeh Farzan and Axel Legay, editors, Proceedings of the 11th International Workshops on Verification of Infinite State Systems (INFINITY 09), volume 10 of Electronic Proceedings in Theoretical Computer Science, pages 44 61, Bologna, Italy, November [7] Étienne André, Laurent Fribourg, and Jeremy Sproston. An extension of the inverse method to probabilistic timed automata. In Markus Roggenbach, editor, Proceedings of the 9th International Workshop on Automated Verification of Critical Systems (AVoCS 09), volume 23 of Electronic Communications of the EASST, Swansea, UK, September European Association of Software Science and Technology. [8] Étienne André. IMITATOR: A tool for synthesizing constraints on timing bounds of timed automata. In Martin Leucker and Carroll Morgan, editors, Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 09), volume 5684 of Lecture Notes in Computer Science, pages , Kuala Lumpur, Malaysia, August Springer. [9] Étienne André, Thomas Chatain, Emmanuelle Encrenaz, and Laurent Fribourg. An inverse method for parametric timed automata. In Vesa Halava and Igor Potapov, editors, Proceedings of the 2nd Workshop on Reachability Problems in Computational Models (RP 08), volume 223 of Electronic Notes in Theoretical Computer Science, pages 29 46, Liverpool, UK, December Elsevier Science Publishers. Articles dans les actes de conférences nationales [10] Étienne André, Thomas Chatain, Olivier De Smet, Laurent Fribourg, and Silvain Ruel. Synthèse de contraintes temporisées pour une architecture d automatisation en réseau. In Didier Lime and Olivier H. Roux, editors, Actes du 7ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 09), volume 43 of Journal Européen des Systèmes Automatisés, pages , Nantes, France, November Hermès. Autres publications [11] Étienne André. Une méthode inverse pour les plus courts chemins. In Actes de la 6ème École Temps-Réel (ETR 09), Paris, France, September Thèses [12] Étienne André. An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems. Ph.d. thesis, Laboratoire Spécification et Vérification, ENS Cachan, France, December [13] Étienne André. Handling theories in logic functors for recomposing description logics. Rapport de Master, Master de Recherche en Informatique, Rennes, France, June 2007.
Curriculum Vitae 1 er février 2008
Curriculum Vitae 1 er février 2008 Informations générales Cédric MEUTER Nationalité belge Né à La Louvière, le 16 novembre 1979 Adresse personnelle : Adresse professionnelle : Ave Général Bernheim, 57
Plus en détailCURRICULUM VITAE. Informations Personnelles
CURRICULUM VITAE Informations Personnelles NOM: BOURAS PRENOM : Zine-Eddine STRUCTURE DE RATTACHEMENT: Département de Mathématiques et d Informatique Ecole Préparatoire aux Sciences et Techniques Annaba
Plus en détailCurriculum Vitae. Karel HEURTEFEUX. Education
Address CNRS, Verimag - Laboratory / Synchrone Team 2, Avenue de Vignate, 38610 Gières, France Tel. : +33 (0)4 56 52 03 86 Curriculum Vitae Karel HEURTEFEUX Born 10.21.1982 French karel.heurtefeux@imag.fr
Plus en détailMATHEMATIQUES ET SCIENCES POUR L INGENIEUR
MASTER SCIENCES, TECHNOLOGIES, SANTE/STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Informatique www.univ-littoral.fr OBJECTIFS DE LA FORMATION Le master Informatique se compose de deux parcours et se
Plus en détailSemestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016
Semestre HPC Violaine Louvet Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr Labex MILyon, Printemps 2016 V. Louvet (ICJ) Semestre HPC Printemps 2016 1 / 9 Présentation du semestre Modélisation
Plus en détailMesure et modélisation de l énergie logicielle
Mesure et modélisation de l énergie logicielle Adel Noureddine, Romain Rouvoy, Lionel Seinturier Green Days @ Lille 29 novembre 2013 Plan Contexte! Problèmes et limitations! Mesure énergétique des logiciels
Plus en détailMaster Informatique Aix-Marseille Université
Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes
Plus en détailOffre de thèse. Co-encadrant de thèse : HENRY Sébastien Coordonnées électroniques : Sébastien.Henry@univ-lyon1.fr Laboratoire : DISP (www.disp-lab.
Offre de thèse 1. Profil recherché Issu d une formation d ingénieur ou d un master, le candidat disposera idéalement des compétences dans les domaines suivants : Pilotage des systèmes de production. Systèmes
Plus en détailInternational Master of Science ERP Solution Manager
International Master of Science ERP Solution Manager 1-SUPINFO Curriculum 2- LUISS-SUPINFO Curriculum Rentrée septembre 2008 www.supinfo.com Copyright SUPINFO. All rights reserved Table des Matières PRESENTATION
Plus en détailPour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur
Pour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur ARROWS Structures de données avec pointeurs sûres : une approche déclarative de leur spécification
Plus en détailLe Master Mathématiques et Applications
Le Master Mathématiques et Applications Franck BOYER franck.boyer@univ-amu.fr Institut de Mathématiques de Marseille Aix-Marseille Université Marseille, 20 Mai 2014 1/ 16 Structure générale Vue d ensemble
Plus en détailInfrastructure PLM pour la capitalisation et la réutilisation de données en conception mécanique
Infrastructure PLM pour la capitalisation et la réutilisation de données en conception mécanique Guillaume Ducellier 1, Benoit Eynard 1, Emmanuel Caillaud 2 1 Université de Technologie de Troyes 12 rue
Plus en détailModèle multi-agents de prise de décision éthique
Équipe Modèles, Agents, Décision Laboratoire GREYC CNRS UMR 6072 Université de Caen Basse-Normandie ENSICAEN Boulevard du Maréchal Juin CS 14 032, 14 032 Caen Cedex 5 Tel. : +33 (0)2 31 56 74 84 Fax :
Plus en détailUniversité Abou-Bekr Belkaid Tlemcen Faculté des Sciences Economiques et de Gestion. BENBOUZIANE Mohamed
Université Abou-Bekr Belkaid Tlemcen Faculté des Sciences Economiques et de Gestion CV BENBOUZIANE Mohamed Nom : BENBOUZIANE Prénom : Mohamed Date et Lieu de Naissance : 04/ 12/ 1963 à Honaine Tlemcen-
Plus en détailSécurisation du stockage de données sur le Cloud Michel Kheirallah
Sécurisation du stockage de données sur le Cloud Michel Kheirallah Introduction I Présentation du Cloud II Menaces III Exigences de sécurité IV Techniques de sécurisation 2 26/02/2015 Présentation du Cloud
Plus en détailNouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires
Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires Julien Jorge, Xavier Gandibleux Laboratoire d Informatique de Nantes Atlantique
Plus en détailBruno ASDOURIAN Lecteur en Sciences de la Communication et des Médias Université de Fribourg Suisse
Bruno ASDOURIAN Lecteur en Sciences de la Communication et des Médias Université de Fribourg Suisse Chercheur en Sciences de l Information et de la Communication Laboratoire IRSIC EA 4262 France Grand-Places
Plus en détailLes Entretiens Jacques Cartier. Session 1 : De la naissance du connectivisme à la satisfaction des besoins éducatifs
Les Entretiens Jacques Cartier Colloque 1 : Cours massifs et ouverts en ligne adaptés aux besoins du 21ème siècle. Un défi pour l enseignement supérieur des pays du nord et du sud. Session 1 : De la naissance
Plus en détailApplication de K-means à la définition du nombre de VM optimal dans un cloud
Application de K-means à la définition du nombre de VM optimal dans un cloud EGC 2012 : Atelier Fouille de données complexes : complexité liée aux données multiples et massives (31 janvier - 3 février
Plus en détailListe de conférences et revues Thème Com A
Liste de conférences et revues Thème Com A April 11th, 2007 Ci-dessous, la synthèse des listes de publications fournies par les projets. Il faut noter que ACES/CEPAGE/OASIS/ n ont pas répondu et ne sont
Plus en détailMaster (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)
Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier Tanguy.Risset@insa-lyon.fr Marine.minier@insa-lyon.fr http://master-info.univ-lyon1.fr/m2rts/
Plus en détail1997 Maîtrise d économétrie, Université des Sciences et Technologies de Lille 1.
Fany DECLERCK Chercheur IDEI Professeur des Universités IAE Toulouse School of Economics Université de Toulouse Adresse Université de Toulouse 1 Manufacture des Tabacs Aile Jean-Jacques LAFFONT - MF 311
Plus en détailAudition pour le poste de Maître de conférence INSA Lyon distributed Robotics avec aectation au CITI. Guillaume Lozenguez.
Audition pour le poste de Maître de conférence INSA Lyon distributed Robotics avec aectation au CITI Guillaume Lozenguez Chercheur post-doctorant, École Normale Supérieure de Lyon, CNRS Doctorat en cotutelle
Plus en détailMasses de données. 1. Introduction 2. Problématiques 3. Socle de formation (non présenté) 4. Liens avec Formation INSA
Masses de données 1. Introduction 2. Problématiques 3. Socle de formation (non présenté) 4. Liens avec Formation INSA Rédacteurs : Mjo Huguet / N. Jozefowiez 1. Introduction : Besoins Informations et Aide
Plus en détailNicolas DROUHIN. B - Travaux de recherche
Nicolas DROUHIN Département Economie et Gestion Ecole normale supérieure de Cachan 61, avenue du Président Wilson 94 230 Cachan 01.47.40.21.38. 01.47.40.24.60. nicolas.drouhin ens-cachan.fr Centre d économie
Plus en détailINGÉNIEUR LOGICIEL JAVAEE / GROOVY 8 ANS D EXPÉRIENCE
INGÉNIEUR LOGICIEL JAVAEE / GROOVY 8 ANS D EXPÉRIENCE Igor Rosenberg 30 ans DEA «Image-Vision» de l Université de Nice Sophia-Antipolis POSTES PRECEDENTS MMA: Développement Web/Grails sur démonstrateur
Plus en détailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailINGENIERIE DES SYSTEMES INFORMATIQUES - PARCOURS : MOBILITE ET CLOUD COMPUTING
INGENIERIE DES SYSTEMES INFORMATIQUES - PARCOURS : MOBILITE ET CLOUD COMPUTING Préparez ce diplôme à l école de d ingénierie de l IGA OBJECTIFS DE LA FORMATION Dans un contexte de mutation économique et
Plus en détailLes métiers de la recherche
Les métiers de la recherche Réunion de rentrée 2013 Années 2, 3 et 4 Paul Gastin Dpt Info, ENS Cachan Paul.Gastin@lsv.ens-cachan.fr Disponible sur http://www.dptinfo.ens-cachan.fr/ 1/33 Devenir des élèves
Plus en détailUFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018
UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique
Plus en détailDUT. Informatique, orientation Imagerie Numérique. Domaine : Sciences, Technologies, Santé. Mention : Informatique
DUT Informatique, orientation Imagerie Numérique Domaine : Sciences, Technologies, Santé Mention : Informatique Organisation : Institut Universitaire de Technologie Lieu de formation : Le Puy en Velay
Plus en détailMajeures et mineures
Majeures et mineures Bologne @ Europe une année académique = 60 crédits ECTS European Credit Transfer System Bachelier en sc.de l ingénieur ing.civil [arch.] 3 ans = 180 crédits ECTS Master ingénieur civil
Plus en détailUne méthode d apprentissage pour la composition de services web
Une méthode d apprentissage pour la composition de services web Soufiene Lajmi * Chirine Ghedira ** Khaled Ghedira * * Laboratoire SOIE (ENSI) University of Manouba, Manouba 2010, Tunisia Soufiene.lajmi@ensi.rnu.tn,
Plus en détailUNIVERSITÉ DE LORRAINE Master MIAGE (Méthodes Informatiques Appliquées à la Gestion des Entreprises)
UNIVERSITÉ DE LORRAINE Master MIAGE (Méthodes s Appliquées à la Gestion des Entreprises) 1 Description générale L UFR Mathématiques et propose le Master avec trois spécialisations en deuxième année : ACSI
Plus en détailMASTER M1/M2 BAC + 1 2 3 4 5
MASTER M1/M2 2013-2014 Mention Musique et Arts du Spectacle Spécialités Administration de la Musique et du Spectacle Vivant - Ingénierie Artistique 1. Editorial du responsable Le Master «Musique et Arts
Plus en détailQualité de la conception de tests logiciels : plate-forme de conception et processus de test
Ecole Doctorale en Sciences de l Ingénieur de l ECP Formation doctorale en Génie Industriel Qualité de la conception de tests logiciels : plate-forme de conception et processus de test Quality of the design
Plus en détail2013-2015 Attachée Temporaire d Enseignement et de Recherche Institut d Administration des Entreprises Université de Toulouse 1 Capitole.
Adresse personnelle : NEGRE Emmanuelle 5 rue Rivals 31000 Toulouse Née le 25/06/1987, 27 ans FRANCE 06.76.79.01.31 emmanuelle.negre@ iae-toulouse.fr Fonctions 2013-2015 Attachée Temporaire d Enseignement
Plus en détailUniversité Libre de Tunis
Ingénieur: Génie Informatique Code et Intitulé des Matières Enseignées Plan d'etudes : Semestre 1 S1-01 Algorithmique et Structures de Données 1 S1-02 Programmation C S1-03 Logiques Mathématiques S1-04
Plus en détailPrésentation du sujet de thèse Schémas temporels hybrides fondés sur les SVMs pour l analyse du comportement du conducteur
Présentation du sujet de thèse Schémas temporels hybrides fondés sur les SVMs pour l analyse du comportement du conducteur Réalisé par : Bassem Besbes Laboratoire d Informatique, Traitement de l Information
Plus en détailPlan de cours ADM 992C Page 1. École des sciences de la gestion Département de management et technologie Université du Québec à Montréal
Plan de cours ADM 992C Page 1 École des sciences de la gestion Département de management et technologie Université du Québec à Montréal ADM-992C LES TECHNOLOGIES D'AIDE À LA PRISE DE DÉCISION DANS LES
Plus en détailIon LAPTEACRU. Maître de Conférences en sciences économiques
Ion LAPTEACRU Maître de Conférences en sciences économiques Adresse professionnelle : Laboratoire LARE-efi, Université Montesquieu-Bordeaux IV, Avenue Léon Duguit, 33608 Pessac Cedex (0033)5 56 84 25 56
Plus en détailPARTIR EN MOBILITE A L ETRANGER
PARTIR EN MOBILITE A L ETRANGER LE SERVICE DES RELATIONS INTERNATIONALES Où sommesnous? Contacts Bâtiment Accueil des Étudiants -1 er étage : Pôle mobilité : accueil et gestion administrative des dossiers
Plus en détailYoussef LYHYAOUI Ingénieur Java/J2EE, SOA, ESB, Web services 31 ans Statut : Indépendant SITUATION ACTUELLE
Youssef LYHYAOUI Ingénieur Java/J2EE, SOA, ESB, Web services 31 ans Statut : Indépendant Adresse Personnelle : 3, allée du Roussillon 91300 Massy Téléphone : (+33) 06 78 37 34 82 E-mail : youssef.lyhyaoui@spartup.com
Plus en détailNos produits, nos prestations et notre savoir-faire
Nos produits, nos prestations et notre savoir-faire Car la simulation est plus qu un logiciel Conseil, support, ingénierie Afin que nos clients profitent des avantages de la simulation, nous les conseillons,
Plus en détailARDUIN Pierre-Emmanuel
ARDUIN Pierre-Emmanuel Maître de conférences pierre-emmanuel.arduin@dauphine.fr Tél : +33(0)1.44.05.48.19 Bureau : A 702 Site web : Site web Poste actuel et responsabilités à Dauphine Responsable d'un
Plus en détailAlert PRÉVENIR ET ALERTER LA BONNE PERSONNE, AU BON MOMENT, AU BON ENDROIT, AVEC LA BONNE INFORMATION. www.pcvuesolutions.com
Alert PRÉVENIR ET ALERTER LA BONNE PERSONNE, AU BON MOMENT, AU BON ENDROIT, AVEC LA BONNE INFORMATION www.pcvuesolutions.com France allemagne chine ItaLIe Japon MaLaISIe SInGapoUr SUISSe UK USa Alert Alert
Plus en détailDéveloppements algorithmiques au LIAMA et àamap en vue de l'analyse d'une scène forestière
Développements algorithmiques au LIAMA et àamap en vue de l'analyse d'une scène forestière Principaux contributeurs: Zhang Xiaopeng (CASIA-NLPR-LIAMA Coordinateur Groupe Image) Li HongJun (CASIA-NLPR-LIAMA
Plus en détailUn environnement de déploiement automatique pour les applications à base de composants
ICSSEA 2002-7 Lestideau Un environnement de déploiement automatique pour les applications à base de composants Vincent Lestideau Adele Team Bat C LSR-IMAG, 220 rue de la chimie Domaine Universitaire, BP
Plus en détailMETIERS DES LANGUES ET CULTURES ETRANGERES
Mention : METIERS S LANGUES ET CULTURES ETRANGERES Domaine : Spécialité : Volume horaire étudiant : Niveau : MASTER 2 année ARTS LETTRES LANGUES ET VEILLE DOCUMENTAIRE INTERNATIONALE M2 120 ES 120 h 48/78
Plus en détailMines Nantes 20/05/2014. Institut Mines-Telecom : a national network 12 Engineering Graduate schools & 1 Business school. 2 Institut Mines-Télécom
Mines Nantes Graduate School of Engineering FRANCE bernard.lemoult@mines-nantes.fr Institut Mines-Telecom : a national network 12 Engineering Graduate schools & 1 Business school 13 000 students 3 900
Plus en détailRÉGIBEAU Julien. Aspirant F.R.S.-FNRS
RÉGIBEAU Julien Aspirant F.R.S.-FNRS Université de Liège Faculté de Philosophie et Lettres «Transitions». Département de recherches sur le Moyen tardif & la première Modernité Service d Histoire moderne
Plus en détailANNEXES. Evaluation de la formation à Polytech Lille Département GIS. Enseignements les plus utiles. Enseignements à renforcer
ANNEXES Evaluation de la formation à Polytech Lille Département GIS Enseignements les plus utiles Enseignements à renforcer Enseignements à intégrer Commentaires Généraux Accompagnement Professionnel Enseignements
Plus en détailCyril HÉDOIN 12bis Grande Rue 51430 TINQUEUX 28 ans
cyril.hedoin@univreims.fr www.rationalitelimitee. wordpress.com Cyril HÉDOIN 12bis Grande Rue 51430 TINQUEUX 28 ans Tel : 03 26 91 87 20 Port : 06 26 96 75 28 Maître de conférences en sciences économiques
Plus en détailL INRIA, institut français des STIC. (en Île-de-France) 24 septembre 2009
1 L INRIA, institut français des STIC (en Île-de-France) 24 septembre 2009 Institut National de Recherche en Informatique et en Automatique 2 Institut dédié aux Sciences et Technologies de l Information
Plus en détailDoctorant en Informatique au CReSTIC - SysCom EA 3804. 2010-2013 :Université de Reims Champagne-Ardenne, Reims France
MandicouBA Doctorant en Informatique au CReSTIC - SysCom EA 3804 Parcours universitaire 2010-2013 :Université de Reims Champagne-Ardenne, Reims France -2013 3 e année de thèse, Équipe SysCom EA 3004, Laboratoire
Plus en détailColloque 2005. Du contrôle permanent à la maîtrise globale des SI. Jean-Louis Bleicher Banque Fédérale des Banques Populaires
Colloque 2005 de la Sécurité des Systèmes d Information Du contrôle permanent à la maîtrise globale des SI Jean-Louis Bleicher Banque Fédérale des Banques Populaires Mercredi 7 décembre 2005 Du contrôle
Plus en détailLaboratoire d informatique Gaspard-Monge UMR 8049. Journée Labex Bézout- ANSES
Laboratoire d informatique Gaspard-Monge UMR 8049 Journée Labex Bézout- ANSES Présentation du laboratoire 150 membres, 71 chercheurs et enseignants-chercheurs, 60 doctorants 4 tutelles : CNRS, École des
Plus en détailNathalie REY DIPLOMES UNIVERSITAIRES
Nathalie REY Fonction (depuis septembre 1999) : Maître de Conférences en Sciences Economiques Université Paris 13, Sorbonne Paris Cité CEPN, UMR 7234 U.F.R. Sciences Économiques et de Gestion, Bureau J308
Plus en détailCurriculum Vitae. 38 100 Grenoble
Curriculum Vitae Nom : Mariane Mangin-Brinet née 11 juillet 1973 1 enfant Téléphone: +33-(0)4-76-28-40-46 (L.P.S.C.) Email : mariane@lpsc.in2p3.fr Adresse professionnelle: LPSC - 53, avenue des Martyrs
Plus en détailLicence et Master E.E.A.
Licence et Master E.E.A. N. Galopin & F. Camus UFR PHITEM 2 avril 2015 Spécialités des Masters 2 De roulement des E tudes Apre s le Master? De roulement des e tudes Locaux et environnement ge ographique
Plus en détailGrenoble Institute of Technology Esisar department. Speaker : Laurent.Lefevre@grenoble-inp.fr
Grenoble Institute of Technology Esisar department Speaker : Laurent.Lefevre@grenoble-inp.fr Grenoble INP 6 Departments organized along the European standard «Bachelor, Master, Doctorate» Ense3 Energy,
Plus en détailDélégation Asie-Pacifique du Groupe Crédit Agricole à Hong Kong et à Shanghai. Le RMB s internationalise: Un simple filet d eau ou le déluge?
Délégation Asie-Pacifique du Groupe Crédit Agricole à Hong Kong et à Shanghai Le RMB s internationalise: Un simple filet d eau ou le déluge? Le Tour du Monde en 8 heures Poitiers, le 21 juin 2011 Agenda
Plus en détailPROGRAMME ERASMUS+ Toute mobilité Erasmus+, financée ou non par la bourse, doit faire l objet de justification sur la base des documents suivants
PROGRAMME ERASMUS+ Le programme Erasmus+ concerne les mobilités réalisées dans le cadre d un des accords Erasmus de Sciences Po Grenoble dans les pays suivants : 27 Etats membres de l Union Européenne
Plus en détailNotice biographique Repères biographiques communs. Nom : NURCAN Prénom : SELMIN Section : 27. Centre de Recherche en Informatique (CRI)
Notice biographique Repères biographiques communs Nom : NURCAN Prénom : SELMIN Section : 27 Corps : Maître de conférences Equipe de recherche Grade : Hors classe Centre de Recherche en Informatique (CRI)
Plus en détailJean-Baptiste AUBIN Maître de Conférence en Statistique
Jean-Baptiste AUBIN Maître de Conférence en Statistique Coordonnées Professionnelles : Coordonnées Personnelles : INSA-Lyon et ICJ 26, Cours de la République Bat. Léonard de Vinci 69100 Villeurbanne 20,
Plus en détailConditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.
Proposition de stage de BAC+4 ou BAC+5 Pro ou Recherche Etude comparative des outils de vérification d'algorithmes parallèles Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide
Plus en détailProf. PhD Mathias J. Rossi
Prof. PhD Mathias J. Rossi Contact Professor, PhD Firstname Mathias Jacques Family Name Rossi Adresse School of Business Administration Fribourg Ch. du Musée 4 City 1700 Fribourg Country Switzerland Phone
Plus en détailDIRECTEUR / CHEF DE PROJETS / CONSULTANT. «Project Management Institute PMP»
M. Mohammed ZAOUDI Né le 18/11/1978 : (+212) 06.61.21.57.04 Site : www.zaoudi.com @ : zaoudimo@yahoo.fr DIRECTEUR / CHEF DE PROJETS / CONSULTANT Ingénieur d état en Management des Systèmes d Information
Plus en détailQuels progrès dans le développement des composants icargo?
News letter n 5 Juin 2013 Editorial Erick Cornelisse icargo est un projet de l'union européenne du septième programme-cadre qui vise à faire progresser et à étendre l'utilisation des TIC pour soutenir
Plus en détailT. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet 5
Modélisation de la performance et optimisation d un algorithme hydrodynamique de type Lagrange-Projection sur processeurs multi-cœurs T. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet
Plus en détailwww.plonegov.org Le projet CommunesPlone Joël Lambillotte Commune de Sambreville Digital Innovators, le 29 janvier 2009
Le projet CommunesPlone Digital Innovators, le 29 janvier 2009 Joël Lambillotte Commune de Sambreville E-mail : info@plonegov.org Web : Objectifs Eviter la dépendance vis-à-vis de fournisseurs informatiques
Plus en détailContrôle stochastique d allocation de ressources dans le «cloud computing»
Contrôle stochastique d allocation de ressources dans le «cloud computing» Jacques Malenfant 1 Olga Melekhova 1, Xavier Dutreilh 1,3, Sergey Kirghizov 1, Isis Truck 2, Nicolas Rivierre 3 Travaux partiellement
Plus en détailLISTE DES PUBLICATIONS
LISTE DES PUBLICATIONS DE GABRIELLA SALZANO Bases de données et Systèmes d'information A - Chapitres d ouvrages collectifs édités A1. SALZANO, G., Dimension géographique des Systèmes d'information de santé,
Plus en détailFormations proposées en 2012-2013 par le Réseau Doctoral de Santé Publique
Formations proposées en 2012-2013 par le Réseau Doctoral de Santé Publique Pour obtenir les informations concernant le programme, le lieu et les possibilités d inscription, se référer à la liste des contacts
Plus en détailNotice biographique Repères biographiques communs. Grade : Maître de Conférences HDR CEREFIGE ED SJPEG. Jean-Claude Gilardi. Université de Nancy 2
Nom : DIANOUX Corps : Maître de conférences Equipe de recherche Notice biographique Repères biographiques communs Prénom : CHRISTIAN Grade : Maître de Conférences HDR CEREFIGE Section : 06 Ecole doctorale
Plus en détailHandisup septembre 2014: Extrait de la liste des profils de jeunes diplômés en situation de handicap en recherche d'expériences professionnelles
Handisup septembre 2014: Extrait de la liste des profils de jeunes diplômés en situation de handicap en recherche d'expériences professionnelles Accueillir un étudiant en situation de handicap pour un
Plus en détailAnne-Sophie FERNANDEZ
Anne-Sophie FERNANDEZ Courriel : Anne-sophie.fernandez@umontpellier.fr Fonction : Maître de conférences Biographie Anne-Sophie FERNANDEZ est Maître de Conférences au sein de l Université de Montpellier.
Plus en détailhttp://blog.khaledtannir.net
Algorithme de parallélisations des traitements Khaled TANNIR Doctorant CIFRE LARIS/ESTI http://blog.khaledtannir.net these@khaledtannir.net 2e SéRI 2010-2011 Jeudi 17 mars 2011 Présentation Doctorant CIFRE
Plus en détail75 007 Paris Bâtiment F, Bureau 101 B
FROUTÉ PHILIPPE Né le 13/04/1980 27 ans Célibataire Adresse Personnelle Adresse Professionnelle 29, rue Rousselet Université de Paris X Nanterre 75 007 Paris Bâtiment F, Bureau 101 B Tél : + 33 (0)1.56.58.29.23
Plus en détail1. Situation actuelle... p. 1
Curriculum Vitae - page 1 / 7 Curriculum Vitae 1. Situation actuelle... p. 1 2. Formation et titres universitaires français... p. 2 Thèse de doctorat de l'institut National Polytechnique de Grenoble (INPG)...
Plus en détailMAITRE DE CONFERENCES EN GEOGRAPHIE, AMENAGEMENT DE L ESPACE ET URBANISME Université Paris IV - Sorbonne. e-mail : estelle.ducom@paris-sorbonne.
MAITRE DE CONFERENCES EN GEOGRAPHIE, AMENAGEMENT DE L ESPACE ET URBANISME Université Paris IV - Sorbonne Parcours : e-mail : estelle.ducom@paris-sorbonne.fr Parcours Enseignement Recherche Responsabilités
Plus en détailLaboratoire franco-chinois. Physique atomique et moléculaire, optique quantique, information quantique, nano-photonique, métrologie, atomes froids
PHYSIQUE FONDAMENTALE 18 localisation*: physique fondamentale france chine Groupement manipulation quantique d atomes et de photons (QMAP) Physique atomique et moléculaire, optique quantique, information
Plus en détailWIPO LIST OF NEUTRALS BIOGRAPHICAL DATA
ARBITRATION AND MEDIATION CENTER WIPO LIST OF NEUTRALS BIOGRAPHICAL DATA Gérald PAGE Attorney-at-Law Grand-Rue 23 1204 Geneva Telephone: +41 22 839 81 50 Fax: +41 22 839 81 51 Email: gpage@e-avocats.ch
Plus en détailwww.u-bordeaux3.fr Master recherche Histoire des mondes moderne et contemporain
www.u-bordeaux3.fr Master recherche Histoire des mondes moderne et contemporain Objectif de la formation Ce master propose une formation de haut niveau en histoire moderne et contemporaine. Il a pour objectif
Plus en détailInnovation Francophonie Imagination
Innovation Francophonie Imagination http://www.ifi.auf.org Qu est-ce que l IFI? Fondé en 1993 à Hanoï (Vietnam), l IFI est un institut universitaire international francophone de troisième cycle soutenu
Plus en détailDR. MATHIEU LAJANTE. Maître de Conférences en Marketing. Fonctions. Formations universitaires. Responsabilités administratives
DR. MATHIEU LAJANTE Maître de Conférences en Marketing IGR-IAE de Rennes (Université de Rennes 1) et Laboratoire CREM (UMR CNRS 6211) 11, Rue Jean Macé CS 70803 35708 RENNES Cedex 7 E-mail : mathieu.lajante@univ-rennes1.fr
Plus en détailElasticité logicielle pour optimiser l empreinte énergétique
Ecole des Mines de Nantes Elasticité logicielle pour optimiser l empreinte énergétique Thomas Ledoux (équipe Ascola, INRIA-EMN, LINA) direction des études décembre 2010 page 1 Relation logiciel empreinte
Plus en détailSuivi de cohortes 2011-2014
1 2 3 4 ANNEE BAC 2012-2013 2013-2014 SUISSE Université de Lausanne Faculté Sces politiques et sociales helor 1 ère année IUT 2 Grenoble L1 Carrières juridiques HEC Montreal Année préparatoire au helor
Plus en détailPrésentation du Master Ingénierie Informatique et du Master Science Informatique 2007-2008, Année 2 Université Paris-Est Marne-la-Vallée
Présentation du Master Ingénierie Informatique et du Master Science Informatique 2007-2008, Année 2 Université Paris-Est Marne-la-Vallée Responsable du Master Informatique : Marc Zipstein Responsable de
Plus en détailConception graphique : Nicolas Piroux - Photos : Campus communication - Camille Boulycault ; UPS mission Campus ; Florent Delaigue ; Gwenaël Le Garff
Polytech 3 volets V7.indd 3 27/10/12 19:11 Conception graphique : Nicolas Piroux - Photos : Campus communication - Camille Boulycault ; UPS mission Campus ; Florent Delaigue ; Gwenaël Le Garff ; Shutterstock
Plus en détailSolution A La Gestion Des Objets Java Pour Des Systèmes Embarqués
International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des
Plus en détailImplémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable
Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Pierre Olivier*, Jalil Boukhobza*, Jean-Philippe Babau +, Damien Picard +, Stéphane Rubini + *Lab-STICC, + LISyC, Université
Plus en détailFormations et diplômes. Rapport d'évaluation. Master Finance. Université Jean Monnet Saint-Etienne - UJM. Campagne d évaluation 2014-2015 (Vague A)
Formations et diplômes Rapport d'évaluation Master Finance Université Jean Monnet Saint-Etienne - UJM Campagne d évaluation 2014-2015 (Vague A) Formations et diplômes Pour le HCERES, 1 Didier Houssin,
Plus en détailA / BIOGRAPHY. 2005-2009 : Doctorat en Sciences Economiques et de Gestion (Ph.D.), Louvain School of Management Université catholique de Louvain
Albert B.R. LWANGO, PhD. Finance, Innovation and Entrepreneurship Groupe ESC Troyes Contact address : 217 avenue Pierre Brossolette BP 710 10002 Troyes cedex - France Phone : +33(0)3 25 71 22 79 Mail :
Plus en détailBologne à l EPFL. Réforme de Bologne Implications pour l EPFL. Prof. Dominique Bonvin, Doyen Bachelor-Master
Bologne à l EPFL Réforme de Bologne Implications pour l EPFL Prof. Dominique Bonvin, Doyen Bachelor-Master EPFL Quelques chiffres 6 600 Etudiants, 23% femmes, 38% étrangers, 109 nationalités 1 400 Doctorants
Plus en détailStatistiques et traitement des données
Statistiques et traitement des données Mention : Mathématiques Nature de la formation : Diplôme national de l'enseignement Supérieur Durée des études : 2 ans Crédits ECTS : 120 Formation accessible en
Plus en détailC U R R I C U L U M V I T A E
C U R R I C U L U M V I T A E Nom : Prénom : IDOUGHI Djilali Adresse Personnelle: Cité des 792 Logts Bt L N 690 Sidi-Ahmed, Bejaia, Algérie. Adresse professionnelle : Université A. Mira, de Béjaïa Département
Plus en détailRESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS)
RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) Intitulé (cadre 1) Master Droit Economie Gestion, mention Management des Systèmes d Information, spécialité Management et Technologies
Plus en détailLes classes de service pour les projets scientifiques
Les classes de service pour les projets scientifiques L'exemple des grilles de calcul et du projet EGEE Journée «Classes de Service de RAP» Jean-Paul Gautier, Mathieu Goutelle (CNRS UREC) www.eu-egee.org
Plus en détailLA REFORME LMD EN COTE D IVOIRE :
LA REFORME LMD EN COTE D IVOIRE : Mise en œuvre et enjeux Pr Viviane KROU ADOHI Directeur Général de l Enseignement Supérieur Abidjan, février 2012 1 Définition LICENCE (bac +3) INTRODUCTION MASTER (bac+5)
Plus en détail