BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Automated Reasoning at AWS\, and Applications in Cryptography - Ro
 d Chapman\, Senior Principal Applied Scientist at AWS
DTSTART:20241120T110000Z
DTEND:20241120T120000Z
UID:TALK224623@talks.cam.ac.uk
CONTACT:Prof Simon Moore
DESCRIPTION:This talk will start with an overview of the uses of Automated
  Reasoning (AR) at AWS\, with an emphasis on the technical and business dr
 ivers that have made for some notable successes within the business. I'd t
 hen like to turn to more specific challenges of developing and verifying c
 ryptographic software and how AR applies in that domain.
LOCATION:SS03\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR