Name: AWS User Group Bristol - Meetup
Start: 2026-04-29T17:30:00+01:00
End: 2026-04-29T20:30:00+01:00
Location: Hargreaves Lansdown

**Agenda:**
17:30 - Doors Open
18:00 - Talks:

1. Formal is Fast: Verification and Optimization of Post-Quantum Cryptography at AWS - Rod Chapman, AWS.
2. NetApp on AWS Cloud - Pradeep Raul, NetApp.
3. AWS Certification MasterClass with Adam and Jarek

20:00 - Pizza and Networking

Matt Wells

Adam P

AWS User Group Bristol

Global AWS User Group Community

Proud sponsor of the AWS User Group Bristol

Innovecom

Technology

New Technology

Cloud Computing

Technology Professionals

DevOps

Software Development

Amazon Web Services

Big Data

Senior Principal Applied Scientist, AWS Cryptography
This talk will go over our approach to the development and verification of post-quantum cryptographic code at AWS. It will cover our approach to assembly-language
verification, and how we are verifying C code within AWS LibCrypto.
Proof also enables "fearless optimization" of crypto code, where proofs of correctness and/or equivalence preserve 



Rod Chapman