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.
Sandra Schneider
ETH Zürich
Administration
CAB H 82.2
+41 44 632 85 80
Max Vistrup
Doctoral Student
ETH Zürich
CNB H 106
I am working on the foundations of program semantics and program logics. Currently, I am looking into how these can be build from more modular components, 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 also work on solid foundations for external page MiniRust, our candidate for Rust's formal semantics.