Computer Scientist proves safety claims of the programming language Rust
ACM and ETAPS Doctoral Dissertation Award and Otto-Hahn-MedailleCredit: Timo Mann, MPI-SWS For his doctoral thesis, in which Jung established the first formal foundations for safe...