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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results