Ralf Jung

Assistant Professor

ETH Zürich
Country flag
Switzerland

Research Interests

Explore related searches

Professors in Switzerland

Contact this professor

LinkedIn
ORCID
Google Scholar
Academic Page

About

Ralf Jung is an Assistant Professor at ETH Zurich in Switzerland. His research focuses on programming language principles, verification, and systems programming, with recent contributions to the Rust programming language and separation logic. His notable publications include "Tree Borrows," "RefinedRust: A Type System for High-Assurance Verification of Rust Programs," and "Simuliris: a separation logic framework for verifying concurrent program optimizations."

Collaborators (3)

Lars Birkedal

Aarhus University

DENMARK

Jeehoon Kang

Assistant Professor

KAIST

SOUTH KOREA

Amin Timany

Aarhus University

DENMARK
Social connections

How do I reach out?

Sign in for free to see their profile details and contact information.

Meet Kite AI