معرفی
Ralf Jung serves as Assistant Professor at ETH Zürich where he leads the Programming Language Foundations Lab within the Institute for Programming Languages and Systems in the Department of Computer Science.
Dr. Jung completed his PhD at MPI-SWS and Saarland University in Saarbrücken, Germany under advisor Derek Dreyer, followed by post-doctoral research with the PDOS group at MIT CSAIL. His academic journey reflects a strong foundation in programming language theory and systems research.
His research centers on formal language foundations with dual focus areas: advancing the Rust programming language ecosystem and developing the Iris framework. Dr. Jung's work bridges theoretical computer science with practical systems development, aiming to create rigorous foundations for real-world programming languages while maintaining practical applicability.
Currently recruiting post-doctoral researchers, Dr. Jung demonstrates active research expansion in programming language verification. His work on Miri (a tool for detecting Undefined Behavior in unsafe Rust) has become standard practice among unsafe Rust developers, while MiniRust represents his ongoing effort to create a precise specification for unsafe Rust that could eventually become official.
- PhD: MPI-SWS and Saarland University (advisor: Derek Dreyer)
- Post-doc: PDOS group at MIT CSAIL
- Current: Assistant Professor at ETH Zürich
Outside academia, Dr. Jung maintains a strong commitment to digital privacy and freedom, operating his own server infrastructure and contributing to free software projects as documented on his personal website ralfj.de.
