Co-leads the types team, member of the compiler team, lang team advisor, and co-leads the Rust Vision Doc work
September 13
11:10 - 11:40