Un professeur de l'EPFL remporte un prix d'enseignement pour son approche pratique de la programmation
Un professeur d'informatique de l'EPFL a remporté un prix d'enseignement pour ses cours pratiques. Il estime que les étudiants doivent acquérir des compétences fondamentales et apprendre à prouver que leur logiciel fonctionne.
En bref: Un professeur d'informatique de l'EPFL a remporté un prix d'enseignement pour ses cours pratiques. Il estime que les étudiants doivent acquérir des compétences fondamentales et apprendre à prouver que leur logiciel fonctionne.
Imaginez créer des programmes informatiques capables de résoudre des énigmes et de chercher des fichiers dès votre tout premier jour de cours.
Ce qui s'est passé, en mots simples
Clément Pit-Claudel, professeur assistant à l'EPFL, a reçu le prix de l'EPFL du meilleur enseignement 2026 lors de la cérémonie Magistral, le samedi 3 octobre. Pit-Claudel enseigne un cours de construction de logiciels aux côtés de Martin Odersky et Viktor Kunčak à des centaines d'étudiants de troisième semestre. Son style d'enseignement pratique amène les étudiants à écrire des programmes utiles, à passer des examens sur des ordinateurs répartis dans plusieurs salles et à apprendre à prouver que leur code fonctionne plutôt que de se contenter de le tester.
Points clés
- Apprentissage pratique dès le premier jour: Les étudiants écrivent des programmes qu'ils peuvent réellement utiliser, en commençant par du code de base et en ajoutant de nouvelles fonctionnalités au fil de leurs apprentissages durant le semestre.
- Test du code sous la pression du monde réel: Les examens se déroulent sur des ordinateurs répartis dans un maximum de 14 salles à l'EPFL et à l'Université de Lausanne afin d'évaluer les aptitudes de programmation sous pression.
- Accent mis sur la preuve plutôt que sur le simple test: Dans son laboratoire de recherche et ses cours, les étudiants traduisent des programmes informatiques en équations mathématiques pour garantir le bon fonctionnement du logiciel.
- Défenseur de la science ouverte: Pit-Claudel partage l'intégralité de son matériel pédagogique en open source afin que d'autres universités puissent l'utiliser librement.
Termes expliqués
- Vérification de logiciels — Vérification mathématique qu'un programme informatique fonctionne correctement dans toutes les conditions possibles. Exemple: Vérifier une application de calculatrice à l'aide de formules mathématiques pour garantir qu'elle ne donne jamais de réponse erronée.
- Démonstration interactive de théorèmes — Utilisation d'ordinateurs pour faciliter la création de preuves mathématiques formelles qui vérifient la logique d'un logiciel. Exemple: Utiliser un outil informatique pour prouver étape par étape qu'un plan de pont respecte les lois de la physique.
- Open source — Mise à disposition gratuite du code logiciel et du matériel pédagogique pour que quiconque puisse les consulter et les utiliser. Exemple: Un chef cuisinier qui publie sa recette secrète en ligne afin que tout le monde puisse préparer le même pain gratuitement.
Pourquoi c'est important
Alors que l'IA aide un nombre croissant de personnes à écrire du code, les experts capables de garantir la sécurité et la fiabilité des logiciels critiques restent indispensables pour des systèmes tels que le contrôle du trafic aérien.
Ce que l'on ne sait pas encore
La source décrit les méthodes pédagogiques et les distinctions d'un professeur précis au sein d'une seule université, et ne constitue ni une vaste étude scientifique ni un consensus éducatif.
D'après un article de EPFL. Ceci est une explication indépendante, rédigée avec nos propres mots et l'aide d'une IA ; EPFL ne l'a ni relue ni approuvée. Consultez l'original pour tous les détails.