Martin Odersky
Nationalité: German
EPFL IC IINFCOM LAMP1
INR 319 (Bâtiment INR)
Station 14
1015 Lausanne
+41 21 693 68 63
+41 21 693 52 02
Office:
INR 319
EPFL › IC › IINFCOM › LAMP1
Site web: https://lampwww.epfl.ch
+41 21 693 68 63
EPFL › IC › IC-SIN › SIN-ENS
Site web: https://sin.epfl.ch
+41 21 693 68 63
EPFL › IC › IC-SSC › SSC-ENS
Site web: https://ssc.epfl.ch
Prix et distinctions
Programming Languages Achievement Award
ACM SIGPLAN
2025
Enseignement et PhD
Doctorant·es actuel·les
Matthieu Bovel, Yaoyu Zhao, Anna Herlihy, Nguyên Cao Pham, Yichen Xu
A dirigé les thèses EPFL de
Julie Vachon, Matthias Zenger, Michel Schinz, Philippe Altherr, Vincent Cremet, Burak Emir, Stéphane Micheloud, Iulian Dragos, Philipp Haller, Gilles Dubochet, Tiark Rompf, Ingo Maier, Lukas Rytz, Aleksandar Prokopec, Heather Miller, Vlad Ureche, Nada Amin, Manohar Jonnalagedda, Hubert Plociniczak, Vojin Jovanovic, Sandro Stucki, Eugene Burmako, Dmytro Petrashko, Sébastien Doeraene, Denys Shabalin, Fengyun Liu, Olivier Blanvillain, Guillaume Martres, Nicolas Alexander Stucki, Aleksander Slawomir Boruch-Gruszecki
A co-dirigé les thèses EPFL de
Cours
Software construction
CS-214
Apprenez à concevoir et à implémenter des logiciels fiables, maintenables et efficaces à l'aide de techniques variées (style déclaratif, fonctions d'ordre supérieur, types inductifs, parallélisme) et de concepts fondamentaux (réutilisabilité, abstraction, encapsulation, composition, preuves)