There’s growing interest in the use of memory-safe Rust for systems programming to build major platforms and for good reason. Rust, a programming language created at Mozilla, is a relatively newer ...

For his doctoral thesis, in which Jung established the first formal foundations for safe systems programming in Rust, he has now received several internationally renowned awards. Ralf Jung is a ...