Date:
Wednesday, 20 November, 2024 - 11:00 to 12:00
Speaker:
Rod Chapman, Senior Principal Applied Scientist at AWS
Venue:
SS03, Computer Laboratory, William Gates Building
This talk will start with an overview of the uses of Automated Reasoning (AR) at AWS, with an emphasis on the technical and business drivers that have made for some notable successes within the business. I'd then like to turn to more specific challenges of developing and verifying cryptographic software and how AR applies in that domain.
Note unusual time
Seminar series:
Computer Architecture Group Meeting