Research topics
- Scala is a modern multi-paradigm programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages.
- Programming Language Abstractions for Mobile Code (Micheloud, Mihaylov).
- A Nominal Theory for Objects with Dependent Types, see ECOOP paper (Cremet, Odersky, Röckl, Zenger).
- Local Type Inference (Altherr, Odersky, Zenger).
- Language Abstractions for Semi-Structured Data (Burak, Cremet, Odersky, Zenger, with Benjamin Pierce).
- An Axiomatization of Transactions (Cremet, Odersky, with Andrew Black and Rachid Guerraoui).
- Unanticipated Extensibility of Software Components (Zenger).
- GJ, an extension of the Java programming language with generic types (Odersky).
- Functional Nets, a uniform foundation for programming based on join-calculus. Funnel is a small programming language based on Functional Nets (Odersky, Schinz).
- Jaco, an extensible compiler for Java. This compiler is used as a basis for implementing extensions to the Java programming language (Matthias Zenger).
- Pizza, a more elaborate extension of Java with concepts from functional programming (Odersky, Zenger, ...).
- EXPRESS: Expressiveness in Concurrency (Merro, Nestmann).
- Mobile Objects (Merro, Nestmann, Briais).
- Semantics of the spi-Calculus (Borgstrom, Briais, Kramer, Nestmann).
- Theory and Tool Support for the Formal Verification of Cryptographic Protocols, funded by the SNSF (Borgström, Briais, Kramer, Nestmann).
- ABC - the Advanced Bisimulation Checker - is a tool that checks open-equivalence in the pi-calculus (Briais).
- Semantics-Guided Design and Implementation of Group Communication Middleware, currently funded with EPFL seed money, further funding under evaluation by the SNSF and the Hasler Foundation (Mena, Merro, Nestmann, Schiper, Wojciechowski).
External cooperations
- PEPITO: PEer-to-Peer Implementation and TheOry, EU 5th framework initiativa FET-GC on global computing (LAMP1/2 with EPFL-LPD, University of Cambridge, INRIA Rocquencourt, University of Leuven, SICS and KTH Stockholm).
- Programming Language Abstractions of Mobile Code, part of MICS NCCR.
- Participation in JSR-14 "Adding Generic Types to the Java Programming language" and JSR-65 "Concise Object-Array Literals", Sun Microsystems.
- Scala on .NET, funded as part of Microsoft's Project 7.
- SmallLATTE - Lightweight Language Abstractions for disTributed and Transactional Algorithms (with EPFL-LPD).
- Theory and Tool Support for the Formal Verification of Cryptographic Protocols, funded by the SNSF.
- Semantics-Guided Design and Implementation of Group Communication Middleware (with EPFL-LSR), currently funded with EPFL seed money, further funding under evaluation by the SNSF and the Hasler Foundation.
- Member of a Consortium to prepare an EU-funded "Network of Excellence" on the "Foundations of Global Computing".
- Membre du Center for Global Computing de l'EPFL.