Mes promotions

Chaque promotion a (ou aura) son espace : calendrier, échéances, agenda, liens utiles

FISA Informatique · A3

Promotion 2026-2029, par apprentissage

Espace de promo ➜

FISA Informatique · A5

Promotion 2024-2027, par apprentissage

Espace à venir

FISE Informatique · A3

Promotion 2026-2029, formation initiale

Espace à venir

Enseignement

CESI Montpellier

Depuis 2023 · cycle ingénieur informatique

Parcours

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

BMC 2022

Tom Davot, Annie Chateau, Rohan Fossé et al. On a Greedy Approach for Genome Scaffolding.

Conférences

AlgoTel 2020

Rohan Fossé, Mohamed Lamine Lamali, Paul Ouvrard. SAT est in bono loco. Oui, mais combien ? Et où ?

CP 2018

Fossé R., Simon L. On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. slides

Présentations

Ratio 2020

A gentle introduction to SAT. slides

Progress 2019

Overview over SAT. slides

EDMI 2019

On the Non-degeneracy of Unsatisfiability Proof Graphs. poster

JGA 2017

Étude des preuves parallèles des solveurs SAT sous forme de grands graphes. slides