Superpowers can be learned
Clément Pit‑Claudel, an assistant professor at EPFL, won the 2026 EPFL Award for Best Teaching. He teaches a large Software Construction class and a master’s/PhD course on interactive theorem proving, emphasizing hands‑on, rigorous verification methods. His approach stresses that AI tools aid coding but students must still understand and prove their programs work.
Clément Pit‑Claudel, an assistant professor at EPFL, won the 2026 EPFL Award for Best Teaching. He teaches a large Software Construction class and a master’s/PhD course on interactive theorem proving, emphasizing hands‑on, rigorous verification methods. His approach stresses that AI tools aid coding but students must still understand and prove their programs work.
Pit‑Claudel’s focus on formal verification and rigorous teaching supports Switzerland’s goal of developing reliable AI‑enabled software systems.
Original source record. Open the original record to verify the underlying announcement.