Ralf Jung

Ralf Jung is an Assistant Professor at ETH Zürich, leading the Programming Language Foundations Lab within the Department of Computer Science. Previously, he completed his PhD at MPI-SWS and Saarland University under Derek Dreyer, followed by a postdoc at MIT CSAIL's PDOS group. His research focuses on Rust's formal foundations and the Iris program logic framework. Key contributions include Miri (an Undefined Behavior detection tool), MiniRust (a specification for unsafe Rust), and advancing Iris for scalable language verification. He advocates digital autonomy through self-hosted services and free software, maintaining projects like Ansible playbooks for server configurations. Current activities include hiring postdocs and promoting Rust's safety via formal methods.

• University: ETH Zürich
• School: Institute for Programming Languages and Systems
• Department: Computer Science

Research Themes:

• Rust Language Foundations: Bridging safe and unsafe code through formal verification
• Iris Logic: Modular concurrent reasoning frameworks
• Applied Formal Methods: Tools like Miri for practical verification
• Digital Autonomy: Self-hosted infrastructure and privacy-focused software

Notable Projects: Miri, MiniRust, Ansible configurations for servers, TLS-check, and privacy-focused internet services.