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
Scalable Component Abstractions
2005. OOPSLA 2005, San Diego, October 2005. p. 41–57. DOI : 10.1145/1094811.1094815.A Nominal Theory of Objects with Dependent Types
2002Functional Nets
2000. European Symposium on Programming 2000, Programming Languages and Systems 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 – April 2, 2000. p. 1-25. DOI : 10.1007/3-540-46425-5_1.Making the future safe for the past: Adding Genericity to the Java Programming Language
1998. OOPSLA 1998.Pizza into Java: Translating theory into practice
1997. 24th ACM Symposium on Principles of Programming Languages, Paris, France, January 1997. p. 146–159. DOI : 10.1145/263699.263715.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)