Mes promotions
Chaque promotion a (ou aura) son espace : calendrier, échéances, agenda, liens utiles
FISA Informatique · A5
Promotion 2024-2027, par apprentissage
Espace à venirFISE Informatique · A3
Promotion 2026-2029, formation initiale
Espace à venirEnseignement
CESI Montpellier
Depuis 2023 · cycle ingénieur informatique
- Recherche opérationnelle · graphes, complexité, méta-heuristiques
- Génie logiciel · .NET, UML, multi-tâches et IPC
- Systèmes d'information & sécurité · administration, sécurisation, supervision
- Développement d'applications distribuées · Node.js, microservices, React
- Sciences fondamentales de l'ingénieur
- Suivi d'alternance et tutorat · relation tripartite, visites en entreprise
Parcours
-
Depuis 2023
CESI Montpellier
Enseignant et responsable pédagogique en informatique. Pilotage de promotions FISA et FISE, enseignement des blocs du cycle ingénieur, suivi d'alternance et relation avec les entreprises.
-
2022 · 2023
Université de Bordeaux
Attaché temporaire d'enseignement et de recherche (192 h) : algorithmique et structures de données, programmation C sous Unix, bases de données et web, applications réseaux en master MIAGE.
-
2017 · 2022
LaBRI, Université de Bordeaux
Recherche sur le problème SAT et les solveurs massivement parallèles, dans l'équipe de Laurent Simon (projet ANR SATAS). Enseignement à l'université et à l'ENSEIRB, médiation scientifique avec Maths à Modeler.
-
Formation
Master d'informatique théorique
Université de Bordeaux, après une classe préparatoire mathématiques et informatique (EISTI).
Recherche
Le problème SAT et sa résolution en parallèle massif : c'est le sujet qui m'a occupé plusieurs années au LaBRI. J'en garde le goût des graphes, de la complexité et des preuves, que je transmets aujourd'hui en recherche opérationnelle.
Publications
Journal
Tom Davot, Annie Chateau, Rohan Fossé et al. On a Greedy Approach for Genome Scaffolding.
Conférences
Rohan Fossé, Mohamed Lamine Lamali, Paul Ouvrard. SAT est in bono loco. Oui, mais combien ? Et où ?
Fossé R., Simon L. On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. slides
Présentations
A gentle introduction to SAT. slides
Overview over SAT. slides
On the Non-degeneracy of Unsatisfiability Proof Graphs. poster
Étude des preuves parallèles des solveurs SAT sous forme de grands graphes. slides