Lab directory
Prof. Martin Odersky — Research Profile
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Jul 22, 2026
More detail is coming to this faculty research profile
Here's what we know so far. A fuller introduction is on the way.
- Department
- School of Computer and Communication Sciences
- Professor
- Martin Odersky
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Ralf Jung 교수 연구실
ETH Zurich · Department of Computer Science
Completeness of Iris-Based Program LogicsProceedings of the ACM on Programming Languages · Aug 17Jules Jacobs 교수 연구실
ETH Zurich · Department of Computer Science
Type-Directed Discretization of Probabilistic ProgramsProceedings of the ACM on Programming Languages · Oct 1David Basin 교수 연구실
ETH Zurich · Department of Computer Science
A Type System for Optimizing Dynamic IFCProceedings of the ACM on Programming Languages · Oct 1
Other labs in this department
- Alessandro Chiesa 교수 연구실
- Amir Zamir 교수 연구실
- Anastasia Ailamaki 교수 연구실
- Anne-Marie Kermarrec 교수 연구실
- Antoine Bosselut 교수 연구실
- Babak Falsafi 교수 연구실