Ralf Jung
Miri maintainer, t-opsem team lead, PL researcher @ ETH
Speaker for “Miri: checking your unsafe code for Undefined Behavior”
Ralf Jung is an assistant professor for computer science at ETH Zurich. He began researching Rust in 2015, shortly after the 1.0 release. His PhD thesis, “Understanding and Evolving the Rust Programming Language”, was the first formalization of the core principles of safe and unsafe Rust, and has received multiple awards. He is maintainer of the Undefined Behavior detection tool Miri, frequent rustc contributor, lang team advisor, and t-opsem co-lead.