People
Prof. Dr. Ralf Jung
Professor
ETH Zürich
CNB H 109
My two main lines of work are about Rust, the safe systems programming language, and Iris, a higher-order concurrent separation logic.
Isaac van Bakel
Doctoral Student
ETH Zürich
CNB H 106
My current project is a formalization of the Rust Borrow Checker, which also handles the more interesting features of Rust's lifetimes.
Rudy Peterson
Direct Doctoral Student
ETH Zürich
CNB H 107.2
When I am not doing coursework, I am working on logical atomicity in Iris.
Max Vistrup
Doctoral Student
ETH Zürich
CNB H 106
I am working on the foundations of program semantics and program logics. Specifically, I am currently looking into how these can be build from more modular components by using iTrees.
Johannes Hostert
Doctoral Student
ETH Zürich
CNB H 107.2
I am working on Tree Borrows, a new aliasing model for Rust. Besides that, I am also working on putting MiniRust, our candidate for Rust's formal semantics, on solid foundations.
Sandra Schneider
ETH Zürich
Administration
CAB H 82.2
+41 44 632 85 80