معرفی
Prof. Ralf Jung is an Assistant Professor at ETH Zürich's Department of Computer Science, leading the Programming Language Foundations Lab under the Institute for Programming Languages and Systems. His work focuses on formal verification of programming languages, particularly Rust and Iris. Previously, he earned his PhD at Saarland University and MPI-SWS, advised by Derek Dreyer, followed by a postdoc at MIT CSAIL's PDOS group.
Research Interests:
- Formal foundations of Rust, including tools like Miri for detecting undefined behavior and MiniRust for precise specification.
- Iris logical framework for modular verification of programming languages at scale.
- Concurrent and distributed systems verification using separation logic.
Advising & Labs: He leads the Programming Language Foundations Lab and is hiring postdocs. His work integrates theoretical rigor with practical tooling for real-world language verification challenges.
Labs/Teams: Programming Language Foundations Lab at ETH Zürich, collaborating with the Rust language team and global research community.
