Curriculum vitæ détaillé
|
|
- Marie-Paule Soucy
- il y a 8 ans
- Total affichages :
Transcription
1 ( ( Curriculum vitæ détaillé Présentation synthétique MERLIN Armelle Née le 22 avril 1976 à Orléans Mariée, un enfant Adresse professionnelle Adresse personnelle LIFO Université d Orléans Les Rouches BP rue des Anguignis ORLEANS Cedex St Jean le Blanc Tél. : Tél. : !"# Mel : '!,- Page Web : $ % %'& :( (*) )+) (.'/ 01 2+/'1.(3045 ( +6! ' 7 Fonction actuelle : 1 ATER à l Université d Orléans 2 Membre de l équipe Vérification, Parallélisme et Sécurité du Laboratoire d Informatique Fondamentale d Orléans Thèse : Modèles opérationnels communicants performances et algèbres de chemins Directeur : Gaétan Hains Laboratoire : Laboratoire d Informatique Fondamentale d Orléans Date de soutenance : 7 décembre 2004 Thèmes de recherche : Programmation parallèle et fonctionnelle (λ-calcul) Machines abstraites Algèbres de processus Modèle de coût, de performance (temps, ressource mémoire) Vérification de protocoles cryptographiques (Déni de Service) Enseignements en informatique : 3 années comme moniteur à l Université d Orléans (3 64h équivalent TD) 1 année comme ATER à l Université d Orléans (100h équivalent TD) 1 année comme demi-ater à l Université d Orléans (96h équivalent TD) Publications avec comité de sélection : 1 article dans un journal international : Computer Languages Systems and Structures (Special Issue on Semantics and cost models for high-level parallel programming) 2 articles dans des workshops internationaux : SFP 2001 (Scottish Functional Programming Workshop) et AVOCS 04 (Fourth International Workshop on Automated Verification of Critical Systems) 1 article dans un workshop français : JFLA2002 (Journées Francophones des Langages Applicatifs)
2 Cursus universitaire : D.E.U.G. MIAS à l Université d Orléans : Licence d Informatique à l Université d Orléans mention Bien : Maîtrise d Informatique à l Université d Orléans major, mention Très Bien Second semestre en équivalence à Oakland University, Michigan : D.E.A. d Informatique à l Université d Orléans major, mention Bien : Doctorat en Informatique à l Université d Orléans mention Très Honorable Fonctions : Moniteur CIES à l Université d Orléans, Bourse MENRT : ATER à l Université d Orléans (dont trois mois 1 2 de congé maternité) : 1 ATER à l Université d Orléans 2 Doctorat d Informatique Date de soutenance : 7 décembre 2004 Lieu : Université d Orléans Titre de la thèse : Modèles opérationnels communicants, performances et algèbres de chemins Mention : Composition du jury Très Honorable Président du jury : Henri Thuillier, Professeur, Université d Orléans Rapporteurs : Roberto Di Cosmo, Professeur, Université Paris 7 Eric Violard, Maître de conférences HDR, Université de Strasbourg Examinateurs : Olivier Michel, Maître de Conférences, Université d Evry Quentin Miller, Professeur, Oxford University, Grande Bretagne Directeur de thèse : Gaétan Hains, Professeur, Université d Orléans
3 Résumé de la thèse Dans cette thèse, nous développons et étendons le modèle BSP (Bulk Synchronous Parallelism) qui permet une programmation data-parallèle explicite et un calcul de coût simple. Nous exposons d abord des machines virtuelles pour le langage BSML associant BSP, programmation fonctionnelle et estimation des performances. Nous proposons ensuite d associer concurrence et parallélisme. Ceci à l aide d une extension de l algèbre de processus CCS, nommée BSPA, qui préserve les caractéristiques de BSP. Nous associons à BSPA un modèle de coût basé sur les algèbres de chemins et fidèle au modèle de performance BSP. Nous montrons comment appliquer ce modèle aux problèmes d ordonnancement posés par l informatique globalisée ou meta-computing. Cette méthode de calcul de coût est générale et peut s appliquer à d autres algèbres de processus. Ainsi nous proposons un modèle de dépense de ressources mémoire pour l algèbre de processus SPPA dédiée aux protocoles cryptographiques et en particulier au protocole TCP. Mots clés : Modèle de performance, BSP, programmation parallèle, algèbres de processus, algèbres de chemins, machines abstraites, dépense de ressources mémoire. Activités de recherches Mes travaux de recherche ont débuté au printemps 1999 lors de mon stage de D.E.A. encadré par G. Hains et ont continué dans le cadre d une thèse encadrée également par G. Hains. Ils s inscrivent dans le cadre général de la programmation parallèle fonctionnelle et de la modélisation pour des systèmes parallèles répartis. 1. TRAVAUX EFFECTUÉS Dans un premier temps, j ai étudié le langage BSML. C est un langage qui associe la programmation fonctionnelle et le modèle BSP (Bulk Synchronous Parallel, Valiant). Ce modèle pour la programmation parallèle est structuré en super-étapes dont le coût est facilement évalué. Pour compléter ce langage, valider certaines propriétés et permettre de l implanter, j ai proposé des outils d analyse statique. J ai ainsi réalisé deux machines abstraites qui prennent en compte la notion de barrière du modèle BSP. La première est une extension de la machine SECD [7, 2]. J ai implanté cette machine et obtenu des coûts montrant le respect du modèle BSP. La deuxième, une extension de la CAM [4]), se base sur les combinateurs catégoriques. Elle permet une meilleure gestion des environnements. Dans un deuxième temps, dans le cadre du projet CARAML, j ai associé la théorie de la concurrence avec la programmation parallèle. J ai ainsi élaboré une extension de CCS (Calculus of Communicating Systems, Milner), pour modéliser les processus parallèles de type BSP, appelée BSPA ainsi que des systèmes à plusieurs machines parallèles, du type grid. L un des points essentiel de ce travail a été de différencier la simultanéité
4 (parallélisme) et l entrelacement (concurrence). J ai proposé une bisimulation forte et prouvé les lois d expansions pour cette algèbre de processus. Afin de modéliser des processus BSP, dont une des caractéristiques est de pouvoir évaluer le coût de façon simple, j ai proposé un modèle de coût pour BSPA à l aide d une algèbre de chemins. Ainsi, un semi-anneau de type max, + permet de calculer pour un processus BSPA son coût pire-cas. Ce modèle de coût peut être instancié par plusieurs semi-anneaux ce qui permet de réaliser différents calculs de coût (meilleur-cas, atteignabilité d états du processus...). Ce modèle de coût prend bien sûr en compte la différence entre concurrence et parallélisme. J ai montré comment appliquer ce modèle à des problèmes grid avec une première implantation d un logiciel de normalisation et évaluation des coûts [6, 3, 1, 5]. J ai effectué une collaboration avec Stéphane Lafrance et John Mullins au CRAC à Montréal au cours d un séjour d un mois sur place en juillet Cela m a permis d appliquer mon modèle de coût à une autre algèbre de processus nommée SPPA (Lafrance et Mullins), dédiée aux protocoles cryptographiques afin d étudier les dépenses en terme de ressources mémoires. J ai étendu cette étude à l affectation de mémoire du langage C. 2. TRAVAUX EN COURS DE RÉALISATION Actuellement, je travaille à appliquer BSPA et son modèle de coût à un outil de nanomanipulation temps-réel élaboré par le LVR, Bourges (Ammi, Ferreira et Fontaine) afin d analyser les coûts pour permettre une meilleure répartition du parallélisme dans leur outil. Avec l aide d un stagiaire de master I, je poursuis l amélioration de mon instanciation pour BSPA et son coût, afin d obtenir des résultats sur des exemples de grande taille. Nous recherchons en particulier à simplifier le graphe de transition, une approche est celle de transformer ce graphe à l aide de DAG pour limiter le nombre de processus à développer suivant les lois d expansion. Nous espérons pouvoir introduire des simplifications de notation pour écrire facilement des processus répliqués à grande echelle.
5 Liste des publications Journal International [1] A. Merlin and G. Hains A Bulk Synchronous Process Algebra Computer Languages, Systems and Structures, Special Issue on SEMANTICS AND COST MODELS FOR HIGH-LEVEL PARALLEL PROGRAMMING, éditions Elsevier, à paraître en Actes de Rencontres Internationales (avec comité de lecture) [2] A. Merlin, G. Hains and F. Loulergue An SPMD Environment Machine for Functional BSP Programs Scottish Functional Programming Workshop (SFP 2001 ), August 2001, Stirling. [3] A. Merlin and G. Hains A generic cost model for concurrent and data-parallel meta-computing Fourth International Workshop on Automated Verification of Critical Systems (AVOCS 04), September 2004, London (UK). Actes de Rencontres Nationales (avec comité de lecture) [4] A. Merlin et G. Hains La Machine Abstraite Catégorique BSP Journées Francophones des Langages Applicatifs (JFLA2002), Janvier 2002, Biarritz. Thèse de Doctorat [5] A. Merlin Modèles opérationnels communicants, performances et algèbres de processus Thèse de doctorat de l université d Orléans, Décembre Rapport de Recherche [6] A. Merlin and G. Hains Une algèbre de processus BSP RR , Laboratoire d Informatique Fondamentale d Orléans, Avril Mémoire de DEA [7] A. Merlin BSλ simplement typé : Typage et Sémantique naturelle Rapport de DEA, Laboratoire d Informatique Fondamentale d Orléans, Septembre 2000.
6 Activités d enseignement J ai effectué mes enseignements au département d informatique de l UFR Sciences de l université d Orléans. Durant mes années de monitorat et ma première année d ATER, j ai enseigné à des étudiants de 1er cycle. Actuellement dans ma deuxième année d ATER, je m adresse également à des étudiants du 2nd cycle. J ai dispensé des travaux dirigés ou travaux pratiques pour les bases de la programmation en informatique : algorithmique (Pascal), approche du langage fonctionnel (OCaml), initiation au langage C. J ai enseigné les bases de données et quelques langages du web (html, php, mysql...). Je suis intervenue en travaux dirigés de réseaux (adressage, protocoles...) et je proposerai au 2nd semestre de cette année universitaire ( ), un cours de parallélisme ainsi que les travaux dirigés et pratiques qui s y rapportent. J encadre actuellement deux stages de recherche, l un en Master 1 STIC, l autre en Master 2. Le tableau ci-dessous présente un résumé de mes enseignements. Le détail est donné ci-après. Organisation des enseignements Année Filière Intitulé Type Volume 2000/2001 Moniteur 2001/2002 Moniteur 2002/2003 Moniteur 2003/2004 ATER DEUG SM 1 ANNÉE 1 ANNÉE 1 ANNÉE 2 ANNÉE 2 ANNÉE 2 ANNÉE 2 ANNÉE IUP MIAGE 1 ANNÉE Bases informatiques 1 sem. TD 34 h Bases informatiques 2 sem. TD 34 h Bases informatiques 1 sem. TD 34 h Prog. fonctionnelle TD 34 h Prog. fonctionnelle TD 34 h Méthodologie de prog. TD 34 h Méthodologie de prog. TD 34 h Langage C TD ET PROJET 60 h 2004/ ATER LICENCE 2 MATH-STIC Prog. fonctionnelle TD ET TP 42 h LICENCE 3 INFO-MIAGE Bases de Données TD ET TP 34 h MASTER 1 STIC Parallélisme COURS TD ET TP 25 h MASTER 2 CCI Réseaux TD 28 h TOTAL 427 h Toutes les heures sont indiquées en heures équivalent TD
7 Détails des enseignements Bases informatiques 1 sem. : Algorithmique Structures de base (conditionnelles, boucles, tableaux...) en Turbo Pascal Concepts de base d un système d exploitation et initiation aux logiciels traitement de texte et tableur. (Responsable N. Andrianarivelo). Bases informatiques 2 sem. : Structures statiques (enregistrement, fichier), récursivité en Turbo Pascal (Responsable N. Andrianarivelo). Programmation fonctionnelle : Approche fonctionnelle de la programmation, à travers le langage Caml : récursivité, polymorphisme, structuration de données, traitement des exceptions. (Responsable G. Hains). Méthodologie de programmation en langage impératif classique : Introduction au langage C. Notion de pointeurs. Structures de données : listes, files, piles, arbres. (Responsable G. Ferrand) Langage C : Introduction au langage C. Notion de pointeurs. Structures de données : listes, files, piles, arbres et fichiers. (Responsable G. Ferrand) Bases de données : Entités associations, Algèbre et calcul relationnels SQL, Oracle (Responsable R. Rakotozafy) Parallélisme : Initiation au data-parallélisme (fold, scan...) Programmation MPI (Responsable G. Hains) Réseaux : Programmation Web : html, php et MySql. Couche réseau : protocoles, adressage... (Responsable A. Eddbali) La liste des matières où j ai la capacité d enseigner n est pas limitée à celles ci-dessus. Les activités menées dans le cadre de ma thèse me permettent d intervenir dans des enseignements de modèles formels, parallélisme et programmation fonctionnelle. En particulier, j aurais plaisir à enseigner dans le domaine de la compilation que j ai découvert et apprécié durant mon second cycle universitaire.
8 Vulgarisation, écoles et séminaires Exposé au Forum des Mathématiciennes et Informaticiennes, Paris, février Exposé à Sciences en Sologne, Orléans, mai Exposés aux Journées du LIFO, mai 2003 et mai Exposé à l Ecole des Jeunes Chercheurs en Programmation, Cargèse, juin Auditrice à l Ecole GRID 02, Aussois, décembre Auditrice à l Ecole de Printemps d Informatique Théorique, Marseille, avril Formation CIES et Ecole Doctorale Rapports : Cours : Séminaires : Rôle de l université, Discrimination dans l enseignement supérieur, Déontologie de l enseignement supérieur, L enseignement à l heure d internet, L évaluation des étudiants à l université. Compilation (DEA d informatique), Epistémologie des Sciences, Prise de parole en public, Animer une réunion. Approche du langage théatral, Les nouvelles attentes des étudiants, Droits et devoirs de l enseignant-chercheur. Autre : Membre du comité d organisation de Sciences en Sologne Charges collectives DocNet : Membre de l équipe de travail pour créer un noeud DocNet à Orléans en Fête de la Science : Animation d ateliers en 2002 et Portes ouvertes : Permanence, accueil et animation au LIFO en 2003, Permanence et accueil au département d informatique en Connaissances Informatiques et compétences Langages de programmation : Pascal, C, OCaml, OCamlyacc, OCamllex, Prolog, C++, Java, MPI, Php, html, SQL, MySql Utilitaires pour la publication scientifique : L A TEX, BIBTEX, Styles slides (Prosper, Beamer), Xfig Systèmes d exploitations : Windows, Linux (Mandrake), Unix (Solaris) Langues étrangères : Bonne maîtrise de l Anglais, Notions d Allemand
9 Activités extra-professionnelles Présidente de la FIFO ( ), association des étudiants en informatique fondamentale d Orléans Secrétaire d Orléans Roller ( ), organisation de randonnées roller hebdomadaires publiques d Orléans Animation et formation de jeunes ( ), BAFA, BAFD
MATHEMATIQUES 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étailMaster CCI. Compétences Complémentaires en Informatique. Livret de l étudiant
Master CCI Compétences Complémentaires en Informatique Livret de l étudiant 2014 2015 Master CCI Le Master CCI (Compétences Complémentaires en Informatique) permet à des étudiants de niveau M1 ou M2 dans
Plus en détailCurriculum 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é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étailYann BECHET 32 ans 8 ans d expérience yann@bechet.org http://www.bechet.org/cv
32 ans 8 ans d expérience yann@bechet.org http://www.bechet.org/cv Chef de projets Conception Orientée Objets Réseaux et systèmes distribués Formation 1999 Diplôme d Etudes Approfondies «réseaux et systèmes
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étailPROGRAMME DETAILLE. Parcours en première année en apprentissage. Travail personnel. 4 24 12 24 CC + ET réseaux
PROGRAMME DETAILLE du Master IRS Parcours en première année en apprentissage Unités d Enseignement (UE) 1 er semestre ECTS Charge de travail de l'étudiant Travail personnel Modalités de contrôle des connaissances
Plus en détailINFORMATIQUE & WEB. PARCOURS CERTIFICAT PROFESSIONNEL Programmation de sites Web. 1 an 7 MODULES. Code du diplôme : CP09
INFORMATIQUE & WEB Code du diplôme : CP09 Passionné par l informatique et le web, vous souhaitez obtenir une certification dans un domaine porteur et enrichir votre CV? PARCOURS CERTIFICAT PROFESSIONNEL
Plus en détailMon métier, mon parcours
Mon métier, mon parcours Anthony, ingénieur d études diplômé d un Master Réseaux, application documentaire, ingénierie et sécurité Les métiers de l Informatique Le domaine Sciences, Technologies, Santé
Plus en détailSCIENCES & TECHNOLOGIES - SANTÉ ET STAPS MASTER INFORMATIQUE. Parcours Ingénierie du Logiciel Libre (I2L) www.univ-littoral.fr
SCIENCES & TECHNOLOGIES - SANTÉ ET STAPS MASTER INFORMATIQUE Parcours Ingénierie du Logiciel Libre (IL) www.univ-littoral.fr OBJECTIFS DE LA FORMATION Le parcours IL a pour objectif la formation d informaticiens
Plus en détailANALYSTE PROGRAMMEUR DIPLÔME D ÉTABLISSEMENT
école sciences industrielles & technologies de l information ANALYSTE PROGRAMMEUR DIPLÔME D ÉTABLISSEMENT Crédit : 120 ECTS Code DIE20 Niveau d entrée : Bac Niveau de sortie : Bac + 2 EN VAE Diplômes accessibles
Plus en détailCQP Développeur Nouvelles Technologies (DNT)
ORGANISME REFERENCE STAGE : 26572 20 rue de l Arcade 75 008 PARIS CONTACT Couverture géographique : M. Frédéric DIOLEZ Bordeaux, Rouen, Lyon, Toulouse, Marseille Tél. : 09 88 66 17 40 Nantes, Lille, Strasbourg,
Plus en détailIntroduction aux Bases de Données Relationnelles Conclusion - 1
Pratique d un : MySQL Objectifs des bases de données Où en sommes nous? Finalement, qu est-ce qu un? Modèle relationnel Algèbre relationnelle Conclusion SQL Conception et rétro-conception Protection de
Plus en détailMaster Energie spécialité Energie électrique
03/12/2013 http://www.univ-fcomte.fr Master Energie spécialité Energie UFR Sciences, techniques, et gestion de l'industrie http://stgi.univ-fcomte.fr/ Dénomination officielle : Master Sciences, technologies,
Plus en détailDemande de transformation de la formation qualifiante TEMIR : Technicien En Maintenance Informatique et Réseaux en diplôme d université (DU)
Demande de transformation de la formation qualifiante TEMIR : Technicien En Maintenance Informatique et Réseaux en diplôme d université (DU) Motivations La formation TEMIR est une formation qualifiante
Plus en détailUE C avancé cours 1: introduction et révisions
Introduction Types Structures de contrôle Exemple UE C avancé cours 1: introduction et révisions Jean-Lou Desbarbieux et Stéphane Doncieux UMPC 2004/2005 Introduction Types Structures de contrôle Exemple
Plus en détailOrganisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et
Organisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et l'anglais. L'étudiant a le choix entre deux filières
Plus en détailLivret du Stagiaire en Informatique
Université François-Rabelais de Tours Campus de Blois UFR Sciences et Techniques Département Informatique Livret du Stagiaire en Informatique Licence 3ème année Master 2ème année Année 2006-2007 Responsable
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étail(Mars 2015) Curriculum Vitae (version longue) de. Frédéric Gava
(Mars 2015) Curriculum Vitae (version longue) de Frédéric Gava 1 Table des matières 1 Notice 3 1.1 Adresses........................................................ 3 1.2 Fonctions.......................................................
Plus en détailLICENCE PROFESSIONNELLE. Systèmes informatiques et logiciels
LICENCE PROFESSIONNELLE Systèmes informatiques et logiciels Spécialité : Gestion des systèmes d information analyse de production exploitation systèmes réseaux et applications Arrêté d habilitation : 2001299
Plus en détailwww.u-bordeaux3.fr Master professionnel Communication des organisations Expertise, audit et conseil
www.u-bordeaux3.fr Master professionnel Communication des organisations Expertise, audit et conseil Un peu d histoire Depuis 1988 à l université Bordeaux 3, la spécialité Communication des organisations
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étailSCIENCES POUR L INGENIEUR
LICENCE SCIENCES, TECHNOLOGIES, SANTE / STAPS SCIENCES POUR L INGENIEUR Parcours Maintenance Industrielle www.univ-littoral.fr OBJECTIFS DE LA FORMATION La Licence Sciences Pour l Ingénieur (SPI) est une
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 Rashi da Gam ila PAQ UI O T INFORMATIONS PERSONNELLES Nom Adresse Situation matrimoniale Courrier électronique PAQUIOT, RASHIDA GAMILA CIV 190 RUE FREDERIC MISTRAL BASTIDE
Plus en détailÉvaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
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étailCurriculum Vitae. Informations générales
Sandy CAMPART Maître de conférences de sciences économiques Membre permanent du CREM (UMR CNRS 6211) Directeur délégué à la formation continue de l IUP Banque Assurance de Caen Responsable de la licence
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é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étailDE L ALGORITHME AU PROGRAMME INTRO AU LANGAGE C 51
DE L ALGORITHME AU PROGRAMME INTRO AU LANGAGE C 51 PLAN DU COURS Introduction au langage C Notions de compilation Variables, types, constantes, tableaux, opérateurs Entrées sorties de base Structures de
Plus en détailJuin 2006 Obtention des deux concours de l enseignement : CAPES d anglais (64 ème ) et agrégation d anglais.
CV Céline SABIRON 1. Parcours universitaire Formations et diplômes Sept. 2007 Sept. 2011 Allocataire-monitrice dans le département d anglais de la Sorbonne Paris IV de 2007 à 2010, puis demi-ater de 2010
Plus en détailIntroduction à la Programmation Parallèle: MPI
Introduction à la Programmation Parallèle: MPI Frédéric Gava et Gaétan Hains L.A.C.L Laboratoire d Algorithmique, Complexité et Logique Cours du M2 SSI option PSSR Plan 1 Modèle de programmation 2 3 4
Plus en détailCécile MAUNIER. Maître de Conférences Sciences de Gestion Responsable pédagogique - Master 1 Marketing, Vente TITRES UNIVERSITAIRES
Cécile MAUNIER Maître de Conférences Sciences de Gestion Responsable pédagogique - Master 1 Marketing, Vente IAE REUNION 24 avenue de la Victoire CS 92003 Saint Denis Cedex 09 ( : 02 62 47 99 01 E- mail
Plus en détailBaccalauréat universitaire (bachelor) en mathématiques et sciences informatiques
Baccalauréat universitaire (bachelor) en mathématiques et sciences informatiques CONDITIONS GENERALES Art. A 3 Baccalauréat universitaire en mathématiques et sciences informatiques 1. La Faculté décerne
Plus en détailMon métier, mon parcours
Mon métier, mon parcours Les métiers de la Physique Le domaine Sciences, Technologies, Santé Alexis, chargé de recherche diplômé d un Master Physique du rayonnement et de la matière et d un Doctorat en
Plus en détailsous réserve de validation des modifications DROIT ECONOMIE GESTION SCIENCES DU MANAGEMENT FINANCE
sous réserve de validation des modifications Niveau : MASTER année Domaine : Mention : DROIT ECONOMIE GESTION SCIENCES DU MANAGEMENT M2 Spécialité : FINANCE 120 ES Volume horaire étudiant : 335 h 35 h
Plus en détail4. Utilisation d un SGBD : le langage SQL. 5. Normalisation
Base de données S. Lèbre slebre@unistra.fr Université de Strasbourg, département d informatique. Présentation du module Contenu général Notion de bases de données Fondements / Conception Utilisation :
Plus en détailMASTER RECHERCHE RESEAUX DE TELECOMMUNICATIONS
UNIVERSITÉ LIBANAISE UNIVERSITÉ SAINT-JOSEPH MASTER RECHERCHE RESEAUX DE TELECOMMUNICATIONS en partenariat avec : Télécom ParisTech, France L Université de Versailles St. Quentin, France L Institut National
Plus en détailREQUEA. v 1.0.0 PD 20 mars 2008. Mouvements d arrivée / départ de personnels Description produit
v 1.0.0 PD 20 mars 2008 Mouvements d arrivée / départ de personnels Description produit Fonctionnalités L application Gestion des mouvements d arrivée / départ de Requea permet la gestion collaborative
Plus en détailDevenez un véritable développeur web en 3 mois!
Devenez un véritable développeur web en 3 mois! L objectif de la 3W Academy est de former des petits groupes d élèves au développement de sites web dynamiques ainsi qu à la création d applications web
Plus en détailProgramme «Analyste Programmeur» Diplôme d état : «Développeur Informatique» Homologué au niveau III (Bac+2) (JO N 176 du 1 août 2003) (34 semaines)
Programme «Analyste Programmeur» Diplôme d état : «Développeur Informatique» Homologué au niveau III (Bac+2) (JO N 176 du 1 août 2003) (34 semaines) Module 1 : Programmer une application informatique Durée
Plus en détailMaster Information et communication spécialité Produits et services multimédia
18/09/2013 http://www.univ-fcomte.fr Master Information et communication spécialité Produits et services multimédia UFR Sciences, techniques, et gestion de l'industrie http://stgi.univ-fcomte.fr/ Dénomination
Plus en détailParcours en deuxième année
Parcours en deuxième année Unités d Enseignement (UE) ECTS Ingénierie des réseaux haut 4 débit Sécurité des réseaux et 4 télécoms Réseaux mobiles et sans fil 4 Réseaux télécoms et 4 convergence IP Infrastructure
Plus en détailPRÉSENTATION GÉNÉRALE
PRÉSENTATION GÉNÉRALE Cadrage institutionnel : Arrêté du 27 août 2013 fixant le cadre national des formations dispensées au sein des masters «métiers de l enseignement, de l éducation et de la formation»
Plus en détailCURRICULUM VITAE FORMATION. 2001/2002 : Thèse ès sciences de gestion, option marketing, à l IAE de Dijon, Université de Bourgogne :
CURRICULUM VITAE Nom : DJELASSI Prénom : Souad Fonction : Maître de conférences, Université Lille2 Adresse personnelle : 4 Rue Alexandre Desrousseaux, 59000 Lille Tél. personnel : 06.68.68.26.44 Mail :
Plus en détailObjet : demande d emploi
Ben Ali Faker Med Limem Ben Ali Boite Postal 50, Menzel Bouzeinne 9114 Tunis le 20/10/2013 Objet : demande d emploi A Monsieur le PDG Je viens par la présente demande solliciter de votre haute bienveillance
Plus en détailInformatique & Systèmes de Communication. Stages de 12 à 16 semaines aux Etats-Unis
Informatique & Systèmes de Communication Stages de 12 à 16 semaines aux Etats-Unis PROGAMME DES STAGES Depuis 2010, les stages en entreprise sont devenus obligatoires dans le cadre des études master. Les
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étailModules du DUT Informatique proposés pour des DCCE en 2014/2015
Modules du DUT Informatique proposés pour des DCCE en 2014/2015 Résumé de l offre : Parmi les 5500 heures d enseignement informatique dispensées au département informatique de l IUT (avec 2880 heures de
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étailCERTIFICAT INFORMATIQUE ET INTERNET NIVEAU 1
CERTIFICAT INFORMATIQUE ET INTERNET NIVEAU 1 RÉSUMÉ DE LA FORMATION Type de diplôme : Autres diplômes Domaine ministériel : Hors domaines de formation Présentation PLUS D'INFOS Le Certificat informatique
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étailC3S : besoins fonctionnels et Management UNIS : technologies de l information ACSSI : intégration de solutions
Qui sommes-nous Le groupe Astrea Management, basé à Villeneuve d'ascq, est composé de 3 entités dans le domaine du conseil et de la prestation de services informatiques : C3S : besoins fonctionnels et
Plus en détailCURRICULUM VITAE. Célibataire
CURRICULUM VITAE MOIZEAU Fabien Adresse domicile : 25 rue Saint-Rome 31000 Toulouse Tél :05-61-21-96-45 33 ans Célibataire Adresse professionnelle : GREMAQ, Université des sciences sociales Toulouse 1
Plus en détailDéroulement. Evaluation. Préambule. Définition. Définition. Algorithmes et structures de données 28/09/2009
Déroulement Algorithmes et structures de données Cours 1 et 2 Patrick Reuter http://www.labri.fr/~preuter/asd2009 CM mercredi de 8h00 à 9h00 (Amphi Bât. E, 3 ème étage) ED - Groupe 3 : mercredi, 10h30
Plus en détailL objectif de ce cycle est de former des techniciens supérieurs spécialisés dans l administration et la gestion de bases de données et des réseaux.
DTS DIPLOME DE TECHNICIEN SUPERIEUR (DTS) EN RESEAUX & DONNEES OBJECTIFS GENERAUX L objectif de ce cycle est de former des techniciens supérieurs spécialisés dans l administration et la gestion de bases
Plus en détailInternet et Programmation!
Licence STS Informatique - Semestre 1! BUT de l enseignement:!! Comprendre une grande partie des termes utilisés dans l écriture des pages actuellement véhiculées sur le NET!! Et tendre vers une écriture
Plus en détailFICHE UE Licence/Master Sciences, Technologies, Santé Mention Informatique
NOM DE L'UE : Algorithmique et programmation C++ LICENCE INFORMATIQUE Non Alt Alt S1 S2 S3 S4 S5 S6 Parcours : IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques) MASTER INFORMATIQUE Non
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étailwebmestre : conception de sites et administration de serveurs web 42 crédits Certificat professionnel CP09
AISL - Architecture et Intégration des Systèmes Logiciels - 2011-2012 webmestre : conception de sites et administration de serveurs web 42 crédits Certificat professionnel CP09 Administrer un serveur et
Plus en détailISFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES GRANDE ÉCOLE D ACTUARIAT ET DE GESTION DES RISQUES
ISFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES GRANDE ÉCOLE D ACTUARIAT ET DE GESTION DES RISQUES L ISFA et ses formations Focus sur S2IFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES L ISFA, CRÉÉ
Plus en détailZABBIX est distribué sous licence GNU General Public License Version 2 (GPL v.2).
Nom du projet : Zabbix Description : ZABBIX est un logiciel open source créé par Alexei Vladishev. Zabbix permet de surveiller le statut de divers services réseau, serveurs et autres matériels réseau.
Plus en détailMASTER MEEF ECONOMIE GESTION. Présentation
MASTER MEEF ECONOMIE GESTION Présentation Le Master MEEF économie gestion (métier de l'enseignement, de l'éducation et de la formation) prépare les étudiants aux différents métiers de l enseignement dans
Plus en détailBases de données cours 1
Bases de données cours 1 Introduction Catalin Dima Objectifs du cours Modèle relationnel et logique des bases de données. Langage SQL. Conception de bases de données. SQL et PHP. Cours essentiel pour votre
Plus en détailMaster 1 Spécialité Professionnelle Image & Son. DOSSIER de CANDIDATURE 2012-2013. Etat civil
Université de Bretagne Occidentale U.F.R. Sciences & Techniques Master 1 Spécialité Professionnelle Image & Son DOSSIER de CANDIDATURE 2012-2013 Etat civil NOM : Prénom : N National d'etudiant (INE ou
Plus en détailLicence Professionnelle en Statistique et Informatique Décisionnelle (S.I.D.)
Université de Lille 2 - Droit et Santé Ecole Supérieure des Affaires & Institut Universitaire de Technologie (IUT-C) Département Statistique et Traitement Informatique des Données Licence Professionnelle
Plus en détailSCIENCES - TECHNOLOGIES - SANTE. STIC : Sciences et Technologies de l Information et de la Communication. Parcours Informatique
2012-2015 Niveau : MASTER année Domaine : Mention : Spécialité : Volume horaire étudiant : SCIENCES - TECHNOLOGIES - SANTE STIC : Sciences et Technologies de l Information et de la Communication Parcours
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é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étailAlpha PRIMO 58 boulevard baron du Marais 42300 Roanne 04 77 78 41 86 / 06 89 20 53 10 www.alphaprimo.fr / contact@alphaprimo.fr
Alpha PRIMO 58 boulevard baron du Marais 42300 Roanne 04 77 78 41 86 / 06 89 20 53 10 / Du lundi au samedi sur rendez-vous. Le BTS Informatique par alternance BTS SIO Services informatiques aux organisations
Plus en détailMASTER DROIT, ECONOMIE, GESTION Mention DROIT PUBLIC
Adopté par le conseil d UFR le 10 juillet 2013 Voté au CA du 1 er octobre 2013 Adopté par la CFVU du 09 septembre 2013 MASTER DROIT, ECONOMIE, GESTION Mention DROIT PUBLIC Master année 1 Arrêté d habilitation
Plus en détailLes formations de remise à niveau(!) l'entrée des licences scientifiques. Patrick Frétigné CIIU
Les formations de remise à niveau(!) pour les bacheliers «non-s» à l'entrée des licences scientifiques. Patrick Frétigné CIIU Cinq exemples Nantes Clermont Ferrand Lorraine Rennes 1 Rouen Nantes REUSCIT
Plus en détail4.2 Unités d enseignement du M1
88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter
Plus en détailExpert technique J2EE
EHRET Guillaume 25, rue de la Richelandiere 42100 SAINT ETIENNE 32 ans - Célibataire Expert technique J2EE Domaines de compétences Environnement et langages Expertise en programmation Java et en architecture
Plus en détailS LICENCE INFORMATIQUE Non Alt Alt SS1 S2 S3 S4 S5 S6 Parcours : IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques)
NOM DE L'UE : ACCOMPAGNEMENT(ADI OU AFPF OU TUTORAT) S LICENCE INFORMATIQUE Non Alt Alt SS1 S2 S3 S4 S5 S6 Parcours : IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques) MASTER INFORMATIQUE
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étailUE Programmation Impérative Licence 2ème Année 2014 2015
UE Programmation Impérative Licence 2 ème Année 2014 2015 Informations pratiques Équipe Pédagogique Florence Cloppet Neilze Dorta Nicolas Loménie prenom.nom@mi.parisdescartes.fr 2 Programmation Impérative
Plus en détailMINI-MÉMOIRE DE PPP - S4
MINI-MÉMOIRE DE PPP - S4 Par [OUAZAR ARIS-ARAB] [S4-G2] [AYME OLIVIA] TABLE DES MATIÈRES ANALYSE DE L ENTREPRISE # PRESENTATION DE L ENTREPRISE # LISTE ET DESCRIPTION DES DIFFERENTS METIERS REPRESENTES
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é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étailL IDEX DE TOULOUSE EN BREF
L IDEX DE TOULOUSE EN BREF Pourquoi des Initiatives D EXcellence (IDEX)? Depuis 18 mois, les universités, les grandes écoles et les organismes de recherche ont travaillé ensemble pour répondre à l appel
Plus en détailDomaines de compétences : Abdoulaye Hama N Djamena - Tchad BP:727 Tel:+23563270110/+23590424432 Email:dirarouh@yahoo.fr a.hama@cblt.
Abdoulaye Hama N Djamena - Tchad BP:727 Tel:+23563270110/+23590424432 Email:dirarouh@yahoo.fr a.hama@cblt.org Objectif Professionnel J ai l honneur de vous faire connaître que je suis Ingénieur Informaticien
Plus en détailCatalogue des Formations Techniques
Catalogue des Formations Techniques Items Média Concept 4, allées Pierre-Gilles de Gennes - 33700 Mérignac Téléphone : 05.57.35.73.73 Télécopie : 05.57.35.73.70 Courriel : contact@imc-fr.com 2 Préambule
Plus en détailUtilisation d Hyperplanning 2011
Utilisation d Hyperplanning 0 4 Utilisation Importer des données 5 Importer des données 6 Utilisation Fiche n 46 - Connaître les règles d unicité à savoir : cette fiche présente les règles appliquées par
Plus en détailFormation. continue diplômante. Diplômes Bac à Bac +3/4 E-learning Formation mixte Validation des acquis de l expérience (VAE)
Formation continue diplômante Diplômes Bac à Bac +3/4 E-learning Formation mixte Validation des acquis de l expérience (VAE) www.ifpass.fr www.formations-assurance.fr www.emploi-assurance.com L environnement
Plus en détailFormations Evolix Catalogue
Catalogue Evolix, Spécialiste des technologies Open Source N Agrément Formateur : 93131160713 Table des matières I Pôle Formations Systèmes et Réseaux 5 Présentation..........................................
Plus en détailLICENCE PROFESSIONNELLE
LICENCE PROFESSIONNELLE Composante : IUT d EVRY Département Génie Thermique et Energie Domaine : DEG / STS Mention : Métiers de l'immobilier : gestion et développement de patrimoine immobilier Parcours
Plus en détail6030.305 D.E.E.S. Informatique et Réseaux - DEESINF
6030.305 D.E.E.S. Informatique et Réseaux - DEESINF 6030.3051 - Référentiel de formation A - Emplois visés : Le principal objectif de DEESINF est de fournir un niveau de qualification intermédiaire dans
Plus en détailmaster langues étrangères appliquées
université sciences humaines et sociales - lille 3 année universitaire 2014-2015 master langues étrangères appliquées Relations Interculturelles et Coopération Internationale - RICI Management dudéveloppement
Plus en détailsciences de l information et du document
université sciences humaines et sociales - lille 3 année universitaire 2014-2015 master sciences de l information et du document Gestion de l Information et du Document pour l Entreprise master 1 - master
Plus en détailCQP ADMINISTRATEUR DE BASES DE DONNÉES (ABD) ----------------------------------------------------------------------------------------------------
ORGANISME REFERENCE STAGE : 26587 20 rue de l Arcade 75 008 PARIS CONTACT Couverture : M. Frédéric DIOLEZ Paris, Lyon, Bordeaux, Rouen, Toulouse, Marseille, Tél. : 09 88 66 17 40 Strasbourg, Nantes, Lille,
Plus en détailProgramme et contenus 2010-2011. Licence d'informatique de Lille, parcours MIAGE, en alternance ou en formation continue 01-04-2011 (13:40)
Programme et contenus 2010-2011 L3 MIAGE FA/FC Licence d'informatique de Lille, parcours MIAGE, en alternance ou en formation continue 01-04-2011 (13:40) PROGRAMME ET CONTENUS 2010-2011 Séminaire de rentrée
Plus en détailwww.u-bordeaux3.fr Master professionnel Communication des organisations Communication publique et politique
www.u-bordeaux3.fr Master professionnel Communication des organisations Communication publique et politique Un peu d histoire Cette formation qui existe depuis une quinzaine d années est devenue un master
Plus en détailSUPPLEMENT AU DIPLOME
SUPPLEMENT AU DIPLOME Préambule : «Le présent supplément au diplôme suit le modèle élaboré par la Commission européenne, le Conseil de l Europe et l UNESCO/CEPES. Le supplément vise à fournir des données
Plus en détail