Ralf Jung und seine Kollegen erhalten den Alonzo Church Award 2023
Ralf Jungs Arbeit über das Iris-Logik-Framework wird mit dem 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation ausgezeichnet. Herzlichen Glückwunsch!
Ralf Jung ist Assistenzprofessor am Institute for Programming Languages and Systems. Er erhält diese Auszeichnung zusammen mit den Co-Autoren von vier seiner Publikationen, die zwischen 2015 und 2018 veröffentlicht wurden, für den Entwurf und die Implementierung von Iris, einem Framework für nebenläufige Trennlogik höherer Ordnung.
Der Alonzo Church Award for Outstanding Contributions to Logic and Computation wird von der European Association for Theoretical Computer Science (EATCS) verliehen und wird auf der ICALP 23 Konferenz im Juli 2023 überreicht.
Ralf Jung ist seit November 2022 als Tenure Track-Assistenzprofessor für Informatik am Departement Informatik tätig. Er verwendet strenge mathematische Techniken, um Software zuverlässiger und sicherer zu machen, und konzentriert sich dabei auf zwei Hauptprojekte: Rust und Iris. Letzteres, das Professor Jung die Auszeichnung einbrachte, ist ein Framework, das dazu verwendet werden kann, über die Sicherheit von nebenläufigen Programmen nachzudenken. Seit er an der ETH Zürich arbeitet, entwickelt Ralf Jung die logischen Grundlagen von Iris weiter und ist auch daran interessiert, es auf neue Probleme anzuwenden, wie zum Beispiel die modulare Verifikation von fehlertoleranten, verteilten Systemkomponenten.
Die mit dem Alonzo Church Award 2023 ausgezeichneten Publikationen sind:
- Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer: “Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning”. POPL (2015).
- Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer: “Higher-order ghost state”. ICFP (2016).
- Robbert Krebbers, Ralf Jung, Aleš Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal: “The Essence of Higher-Order Concurrent Separation Logic”. ESOP (2017).
- Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Aleš Bizjak, Lars Birkedal, Derek Dreyer: “Iris from the ground up: A modular foundation for higher-order concurrent separation logic”. J. Funct. Program. 28 (2018).