Ralf Jung

Ralf Jung is an Assistant Professor in the Department of Computer Science at ETH Zurich. His research interests include formal verification, program logics, type systems, concurrency, and systems programming languages. He is affiliated with the university's Computer Science department and contributes to academic discourse through his work in these areas. His profile page provides further details on his research and academic activities.

Ralf Jung is an Assistant Professor at ETH Zürich, specializing in programming languages, verification, concurrency, and operational semantics. His research focuses on developing formal foundations for secure and correct systems programming, particularly in Rust. He has contributed to the verification of Rust's memory safety guarantees through frameworks like RustBelt and Iris, which support higher-order concurrent separation logic. His work also explores concurrency models, such as stacked borrows and tree borrows, to enhance memory safety and enable formal verification of complex systems. Jung's research emphasizes the integration of logical frameworks with practical programming languages to ensure correctness and reliability in software systems.