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
Teaching & PhD
PhD Students
Matthieu Bovel, Anna Herlihy, Nguyên Cao Pham, Yichen Xu, Yaoyu Zhao
Past EPFL PhD Students
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)
Past EPFL PhD Students as codirector
Courses
Agentic-Systems Security
CS-620
This is a seminar course where we will read a selection of papers covering the topic of AI agent security. The goal is to discuss the published approaches and to compare them with each other. This should give a good foundation for students who want to continue working in the area.
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)