Martin Odersky
Nationality: Swiss
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
Website: https://lampwww.epfl.ch
+41 21 693 68 63
EPFL › IC › IC-SIN › SIN-ENS
Website: https://sin.epfl.ch
+41 21 693 68 63
EPFL › IC › IC-SSC › SSC-ENS
Website: https://ssc.epfl.ch
Expertise
<b>CURRENT WORK</B>
Programming Language Abstractions for Mobile Code.
Composing services, using staging and data binding.
Reproducible Concurrent Programs through Software Transactions.
Pluggable Type Systems. Martin Odersky's research is sponsored by the Swiss National Science Foundation, the European Commission, and the Hasler Foundation.
<b>OTHER PUBLICATION
Infoscience
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.Teaching & PhD
PhD Students
Matthieu Bovel, Yaoyu Zhao, Anna Herlihy, Nguyên Cao Pham, Yichen Xu
Past EPFL PhD Students
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
Past EPFL PhD Students as codirector
Courses
Software construction
CS-214
Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction concepts (reusability, abstraction, encapsulation, composition, proofs)