Mention Science du logiciel
- Accueil -

Frédéric Boulanger
frederic.boulanger@centralesupelec.fr
3e année mention Science du logiciel

Déroulement de l'année


  • 3 séquences (SD9, SM10, et SM11) de 8 semaines
    séparées par 2 semaines de filière
  • Stage à partir du 19 avril 2021
  • SD9 normalement constituée d'enseignements de dominante
    mais certains enseignements de mention démarrent en SD9
  • Langues le lundi après-midi
  • Mercredi : projet à partir du 30/10 (SM10)
  • Jeudi : projets dès le 8/10, et activités hors cours

Projets / CEI


  • Sujets proposés par les parrains des mentions
  • CEI : statut différent, peuvent être proposés hors parrainage
  • Projets recherche, proposés par un enseignant + parcours recherche
  • Possibilité de projets de dominante (panachage inter-mentions)
  • Présentation des projets le 1er octobre (amphi F3.06)
  • Évaluation à mi-parcours le 10 décembre
  • Soutenances les 14 et 15 avril 2021
  • plus de détails lors de l'accueil de la dominante
Rencontres avec les parrains des mentions :
  • Forum du 24 septembre après-midi
  • Présentation des projets le 1er octobre après-midi
  • Forum PME et startups le 15 octobre après-midi
  • Forum du 29 octobre après-midi
  • + autres opportunités : séminaires, cours etc.

Déroulement des cours


  • Selon l'évolution des consignes sanitaires et des cas déclarés
  • Présentiel pour les petits effectifs, avec support en ligne
    pour ceux qui ne peuvent pas venir
  • Sur Teams pour les grands effectifs, ou s'il y a trop de cas
  • Mixte en amphi avec diffusion par Ubicast
  • Chaque enseignant est libre d'adapter les modalités
    dans les limites des consignes sanitaires, en privilégiant
    la sécurité de tous
En présentiel, le port du masque et le respect
des gestes barrières sont de rigueur

Cours électifs

SM 10 :

  • Algorithmes et modèles pour les systèmes distribués
    (Francesca Bugiotti)
  • Programmation quantique pour le machine learning
    (Benoît Valiron)
  • Analyse formelle de modèles stochastiques (Paolo Ballarini)

SM 11 :

  • Développement de systèmes critiques avec la méthode B
    (Idir Ait-Sadoune, RATP, CLEARSY, Systerel)
  • SCADE et le synchrone pour les systèmes critiques
    (Frédéric Boulanger/Safouan Taha, Luc Coyette (Ansys))
  • Spécification et test de systèmes temps-réel
    (Pascale Le Gall, Paolo Ballarini, Boutheina Bannour (CEA))

Élection des délégués de la mention


Rôle :
Intermédiaires entre les élèves
et les responsables de mention/dominante
Deux délégués

CV book


Chaque année, le service partenariat communique un « CV book » des élèves aux partenaires des mentions.

Les délégués sont chargés de recueillir les CV et de les transmettre à Muriel Rouaux (partenariat) : muriel.rouaux@centralesupelec.fr

Ambassadeurs auprès des parrains


Parrains de la mention SL :

Un élève par parrain pour gérer l'organisation d'éventuelles visites etc.

Questions / points divers