Eoghan Chevé

Ce projet réalisé au sein de l'équipe PACAP est encadré par Isabelle Puaut et porte sur la prédiction de surcoût d'un processus lié à des accès mémoires simultanés, grâce à l'utilisation d'algorithmes de machine-learning.

Voici la liste exhaustive des cours auxquels j'ai eu l'opportunité d'assister :

• Machine learning - par Ewak Kijak et Raumaric Gaudel
• Model checking - par Sophie Pinchinat
• Computer Graphics - par Marc Christie
• Théorie de l'information - par Eric Fabre
• Compilation - par Simon Rokicki
• Philosophie des sciences - par Olivier Ridoux
• Sobiété numérique - par Simon Castellan
• Programmation haute performance - par Martin Quinson
• Sémantique de programmation (assistant de preuve Coq) - par Sandrine Blazy
• Systèmes d'exploitation avancés - par Isabelle Puaut

Parallèlement aux cours cités ci-dessus, j'ai pu suivre de nombreux séminaires autour de l'informatique tout au long de l'année ainsi que les séminaires "Atelier belles thèses" et "Préparation à la recherche" assurés par François Taiani et Martin Quinson.

Pour ce stage en bioinformatique réalisé dans l'équipe Dyliss, j'ai été encadré par François Coste et Pablo Espana Gutierrez.

Mon objectif était de trouver une fonction de coût prenant en compte les distances évolutives permettant de pondérer des séquences dans un modèle prédictif tel qu'une PSSM ou un HMM.

En plus d'avoir complété mon objectif, j'ai créé un modèle prédictif prenant directement en compte les distances évolutives et les pressions de séléction.

Mon rapport de stage est disponnible sur HAL, vous pouvez y accéder en cliquant ici.

Voici la liste exhaustive des cours auxquels j'ai eu l'opportunité d'assister :

• Programation C++ - par Martin Quinson
• Statistiques - par François Schwarzentruber
• Architecture et Systèmes (RISC-V) - par Steven Derrien
• Logique - par David Baelde
• Algorithmique - par François Schwarzentruber
• Optimisation et Algèbre - par Baptiste Huguet et Felix Ulmer
• Architecture (C) et Réseaux - par Martin Quinson et Guillaume Didier
• Langages formels et Calculabilité - par Gilles Lesventes
• Concepts des langages de programmation - par David Baelde

En complément des cours cités ci-dessus, j'ai pu suivre de nombreux séminaires d'informatique tout au long de l'année ainsi qu'un cours de Pédagogie assuré par Martin Quinson.

Ces années de classes préparatoires aux grandes écoles m'ont permis de suivre une formation pluridisciplinaire donnant l'équivalent d'une Licence 2 de Physique, de Mathématiques et d'Informatique.

Des cours de Français et de Philosophie complétaient également ce cursus.