Aller au contenu

Rohan Fossé

Enseignant et responsable pédagogique, CESI Montpellier

Portrait de Rohan Fossé

J'enseigne l'informatique au CESI de Montpellier depuis 2023, à des élèves ingénieurs en apprentissage et en formation initiale. J'y construis aussi le calendrier de l'année de mes promotions, et c'est à moi que s'adressent les étudiants et leurs maîtres d'apprentissage.

Avant, j'ai fait de la recherche au LaBRI, à Bordeaux, sur le problème SAT et ses solveurs massivement parallèles. De ces années, je garde les graphes et la complexité, que j'enseigne aujourd'hui en recherche opérationnelle.

Mes promotions

Un espace par promotion pour 2026-2027 : calendrier, agenda à synchroniser, liens Moodle et documents. Il faut le code donné à la rentrée.

Enseignement

  • Recherche opérationnelle : graphes, complexité, méta-heuristiques
  • Génie logiciel : .NET, UML, programmation multi-tâches et communication inter-processus
  • Systèmes d'information et 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 : visites en entreprise

Projets

Ce que je construis en dehors des cours, en général parce que j'en avais besoin pour mes cours.

Parcours

  • CESI Montpellier

    Enseignant et responsable pédagogique en informatique. Je pilote des promotions FISA et FISE, et je suis les apprentis dans leur entreprise.

  • - 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.

  • - 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 à l'EISTI.

Recherche

Au LaBRI, j'ai travaillé sur SAT, le premier problème prouvé NP-complet, et sur la structure des preuves produites par les solveurs massivement parallèles. Le pilotage des promotions prend aujourd'hui l'essentiel de mon temps, mais j'écris encore un article de temps en temps : le dernier porte sur la prévision de disponibilité des vélos en libre-service.

Articles de journal

  • Forecasting short-term availability of bikes at sharing stations: a deep-learning approach.[doi] Gaël Pallares, Myriam Foucras, Rohan Fossé, Ilan Pabois. Transportation Planning and Technology.
  • On a Greedy Approach for Genome Scaffolding. Tom Davot, Annie Chateau, Rohan Fossé et al.

Conférences

  • SAT est in bono loco. Oui, mais combien ? Et où ? Rohan Fossé, Mohamed Lamine Lamali, Paul Ouvrard.
  • On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers.[slides] Rohan Fossé, Laurent Simon.

Présentations et posters

  • 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]

Contact

Par courriel : rfosse@cesi.fr. Rendez-vous sur demande, au campus ou en visioconférence.

Étudiants de mes promos : passez me voir, c'est plus rapide.