![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Rod Chapman, Senior Principal Applied Scientist at AWS
Wednesday 20 November 2024, 11:00-12:00
Automated Reasoning at AWS, and Applications in Cryptography
â ī¸ Important: Note unusual time
- đ¤ Speaker: Rod Chapman, Senior Principal Applied Scientist at AWS
- đ Date & Time: Wednesday 20 November 2024, 11:00 - 12:00
- đ Venue: SS03, Computer Laboratory, William Gates Building
Questions? Contact
Prof Simon Moore
Abstract
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.
Series This talk is part of the Computer Laboratory Computer Architecture Group Meeting series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computer Laboratory Computer Architecture Group Meeting
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- School of Technology
- SS03, Computer Laboratory, William Gates Building
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.