Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Ralf Jung
Assistant Professor
SwitzerlandResearch Interests
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.
Explore related searches
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."
Articles (12)
Year:
2026
Year:
2026
Year:
2025
Year:
2025
Year:
2024
Year:
2024
Year:
2022
Year:
2022
Year:
2021
Year:
2021
Year:
2020
Year:
2020
Collaborators (4)
Lars Birkedal
Aarhus University
Joseph Tassarotti
New York University
Jeehoon Kang
Assistant Professor
KAIST
Amin Timany
Associate Professor
Aarhus University
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.