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, Anna Herlihy, Nguyên Cao Pham, Yichen Xu, Yaoyu Zhao
A dirigé les thèses EPFL de
Philippe Altherr (2006), Nada Amin (2016), Olivier Blanvillain (2022), Aleksander Slawomir Boruch-Gruszecki (2024), Eugene Burmako (2017), Vincent Cremet (2006), Sébastien Doeraene (2018), Iulian Dragos (2010), Gilles Dubochet (2011), Burak Emir (2007), Philipp Haller (2010), Manohar Jonnalagedda (2016), Vojin Jovanovic (2016), Fengyun Liu (2021), Ingo Maier (2013), Guillaume Martres (2023), Stéphane Micheloud (2009), Heather Miller (2015), Dmytro Petrashko (2017), Hubert Plociniczak (2016), Aleksandar Prokopec (2014), Tiark Rompf (2012), Lukas Rytz (2014), Michel Schinz (2005), Denys Shabalin (2020), Nicolas Alexander Stucki (2023), Sandro Stucki (2017), Vlad Ureche (2015), Julie Vachon (2000), Matthias Zenger (2004)
A co-dirigé les thèses EPFL de
Cours
Agentic-Systems Security
CS-620
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)