Eoghan Chevé

This project is part of the PACAP team and is supervised by Isabelle Puaut. It concerns the use of machine-learning algorithms to predict process overheads due to simultaneous memory accesses.

Here's the complete list of courses I've had the opportunity to attend:

• Machine learning - by Ewak Kijak et Raumaric Gaudel
• Model checking - by Sophie Pinchinat
• Computer Graphics - by Marc Christie
• Information Theory - by Eric Fabre
• Compilation - by Simon Rokicki
• Science Philosophy - by Olivier Ridoux
• Digital sobriety - by Simon Castellan
• Hight Performance Computation - by Martin Quinson
• Programming Semantics (Proof assistant Coq) - by Sandrine Blazy
• Advanced Operating systems - by Isabelle Puaut

In addition to the courses mentioned above, I was able to attend many informatic seminars throughout the year, and classes about how to make a great thesis and one called "Research preparation" insured by François Taiani and Martin Quinson.

For this bioinformatics internship in the Dyliss team, I was supervised by François Coste and Pablo Espana Gutierrez.

My goal was to find a cost function that takes into account evolutionary distances, enabling sequences to be weighted in a predictive model such as a PSSM or a HMM.

In addition to achieving my goal,I created a predictive model that directly takes into account evolutionary distances and selection pressures .

My internship report is available on HAL, you can see it by clicking here.

Here's a complete list of the classes I've had the opportunity to attend:

• C++ Programming - by Martin Quinson
• Statistics - by François Schwarzentruber
• Architecture and Systems (RISC-V) - by Steven Derrien
• Logic - by David Baelde
• Algorithms - by François Schwarzentruber
• Optimization and Algebra - by Baptiste Huguet and Felix Ulmer
• Architecture (C) and Networks - by Martin Quinson and Guillaume Didier
• Formal Languages and Calculability - by Gilles Lesventes
• Concepts of programming languages - by David Baelde

In addition to the classes listed above, I was able to attend many seminars throughout the year, as well as a Pedagogy class taught by Martin Quinson.

These years of preparatory classes enabled me to follow a multi-disciplinary program which gave me the equivalent of a second year of University Degree in Physics, Mathematics and Computer Science.

French litterature and Philosophy also completed the curriculum.