Award Recipient Derek Dreyer Max Planck Institute for Software Systems Social website 2021 Amazon Research Award “RefinedRust: automating the verification of rust programs in the presence of unsafe code”
