— Roméo La Spina —

Doctorant en Informatique

2021-2022

Master 2 MPRI (Master Parisien pour la Recherche en Informatique) dans le cadre du magistère Informatique de l'ENS Rennes.

Cours suivis :

• 2-04

— Programmation fonctionnelle et systèmes de types (Didier Rémy, François Pottier, Gabriel Scherer, Pierre-Evariste Dagand, Jacques-Henri Jourdan)

• 2-06

— Interprétation abstraite: application à la vérification et à l'analyse statique (Antoine Miné, Jérôme Feret, Xavier Rival, Caterina Urban)

• 2-07-1

— Fondements des systèmes de preuves (Benjamin Werner)

• 2-07-2

— Assistants de preuves (Bruno Barras, Matthieu Sozeau)

• 2-18-1

— Algorithmique distribuée pour les réseaux (Pierre Fraignaud, Ami Paz, Mikaël Rabie)

• 2-18-2

— Algorithmique distribuée avec mémoire partagée (Carole Delporte, Hugues Fauconnier)

• 2-23-1

— Systèmes synchrones (Marc Pouzet, Timothy Bourke)

• 2-30

— Preuves de protocoles de sécurité (Bruno Blanchet, Hubert Comon, Vincent Cheval, Adrien Koutsos)

• 2-36-1

— Preuves de programmes (Claude Marché, Jean-Marie Madiot)

• 2-37-1

— Programmation des machines multicoeurs à mémoire partagée (Luc Maranget, Adrien Guatto)

Stage de Master 2

Sujet : Un analyseur flots de données paramétré par un ordre d'itération pour le compilateur formellement vérifié CompCert [sujet détaillé] [Rapport, slides]
Encadrantes : Sandrine Blazy, Delphine Demange (IRISA, Rennes, équipe CELTIQUE/EPICURE)

2020-2021

Master 1 SIF (Science Informatique), co-géré par l'Université Rennes 1 et l'ENS Rennes.

Descriptif détaillé des cours suivis (en anglais)

Stage de Master 1

Sujet : Compilation de contre-mesures en présence d'exécution spéculative [Slides (en anglais)]
Encadrant : Vincent Laporte (LORIA, Nancy, équipe PESTO)

Projet de recherche

Sujet : Vérification d'un compilateur Just-In-Time [Rapport (en anglais)]
Encadrants : David Pichardie, Aurèle Barrière (IRISA, Rennes, équipe CELTIQUE)

2019-2020

Licence 3 Informatique Fondamentale, co-gérée par l'Université Claude Bernard Lyon 1 et l'ENS de Lyon.
Admission au concours cycle master de l'ENS Rennes.

Descriptif détaillé des cours suivis (en anglais)

Stage de Licence 3

Sujet : Etude de la scalabilité des serveurs de visio-conférence [Rapport, slides]
Encadrant : Gilles Muller (INRIA Paris, équipe WHISPER)