I am assistant professor at ETH Zürich, leading the Programming Language Foundations Lab. We are part of the Institute for Programming Languages and Systems in the Department of Computer Science. Previously, I completed my PhD at MPI-SWS and Saarland University in Saarbrücken, Germany; my advisor was Derek Dreyer.

15th USENIX Symposium on Operating Systems Design and Implementation (OSDI …

2024年11月25日 · The first paper by a PhD student I supervise has been accepted into POPL: “Program Logics à la Carte” will be presented in Denver next week. The paper proposes a framework of reusable building blocks to simplify constructing a program logic with its associated soundness proof.

Assistant Professor at the Department of Computer Science.

I am not looking for a new job, please do not contact me for recruiting. - RalfJung

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Aleš Bizjak, Lars Birkedal, Derek Dreyer Journal of Functional Programming (JFP), Volume 28, e20, November 2018 This is a significantly revised and expanded synthesis of the Iris 2.0 and 3.0 papers. Recipient of 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation

2021年7月15日 · Jung 是马克斯普朗克软件系统研究所的博士后研究员，也是 MIT 并行和分布式操作系统组的研究员。 他的研究兴趣包括编程语言、验证、语义和类型系统。

Postdoctoral Researcher Contact Email: @ Web: https://people.mpi-sws.org/~jung Imprint Data Protection Contact

Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of POPL, we will be back where POPL #1 happened: Boston, Massachusetts.

2025年3月2日 · Professor Ralf Jung, who leads the Programming Language Foundations Lab at the Department of Computer Science at ETH Zurich, has been honoured with the 2025 Most Influential POPL Paper Award (Test-of-Time Award) for the POPL 2015 paper "Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning".