DD

Derek Dreyer

Professor of Computer Science
1talks1shows2019years

Talks

1 talks · newest first
Show titles in
20191 talks
JSJane StreetSep 2019Derek Dreyer: Proving the Safety of Rust with RustBelt and IrisProgramming LanguagesSoftware engineeringSecurity & safetySpeakerEN