--- title: Ralf Jung ---

I am a post-doctoral researcher in the PDOS group at MIT CSAIL under the supervision of Frans Kaashoek and Nickolai Zeldovich.

Previously, I completed my PhD at MPI-SWS and Saarland University in Saarbrücken, Germany.

I am currently working on giving a formal model to Rust's type system. This work is part of the RustBelt project.
The Rust work builds on my previous work on Iris, a logic to support modular reasoning about higher-order concurrent imperative programs. The focus there was on providing simple building blocks that are powerful enough to recover more sophisticated reasoning techniques that were often axiomatized in previous logics.
For some more information, check out my research blog and my research statement.

In my free time, I like to run internet services myself and work on free software. This goes hand-in-hand with my pursuit of defending our privacy rights and our freedom in the digital world. See my personal website for more information.