August

30th

–

September

2nd

2024

Amazon Trustworthy Computing Symposium

Ticket

$0000

Ticket description

Day Month 0th 0:00pm

100 remaining

Speaker Name

Speaker Title

00:00am - 00:00pm

Session Title

Agenda details and description text goes here. Let your guests know what to expect within this agenda item. Use this space to share an overview of what might happen so your guests can be prepared. We can't wait to read all about it.

Explore Cutting-Edge Technology

is a host of exceptional ability. Studies show that a vast majority of guests attending events by have been known to leave more elated than visitors to Santa's Workshop, The Lost of Continent of Atlantis, and the Fountain of Youth.

On what date does the event take place?

The event is scheduled for Wednesday, May 31, 2024.

August

30th

–

September

2nd

2024

Amazon Trustworthy Computing Symposium

RSVPs Closed

This event has reached capacity and the registration and waitlist are now closed.

Details about the event

As AI systems grow more autonomous, software supply chains become more complex, and data flows span global boundaries, the need for rigorous, provable trust in computing has never been greater.

The Amazon Trustworthy Computing Symposium is an invite-only event that brings together Amazon scientists, engineers, and leading academic researchers to tackle one of the defining challenges of our era: how do we build, verify, and operate systems that are safe, secure, and privacy-preserving by design?

By fostering deep technical exchange between industry practitioners who operate at scale and academic researchers pushing the frontiers of theory, this symposium accelerates the translation of foundational research into systems that earn the trust of hundreds of millions of customers.

The topics that will be covered at this symposium include:

Provably Correct & Secure Systems

Formal methods, automated reasoning, and verification techniques that provide mathematical guarantees about system behavior.

Trustworthy Agentic AI

Securing autonomous AI systems — including multi-agent systems that access external tools and APIs — against adversarial threats, misuse, and unauthorized behavior.

Privacy Preserving Technology

Novel approaches that protect sensitive data while enabling useful computation.

Featured Speakers

Yael Kalai

Professor, MIT

Ruzica Piskac

Professor, Yale

Ioana Boureanu

Professor in Secure Systems & Head of Surrey Centre for Cyber Security

Baris Coskun

Sr. Principal Scientist, AWS

Jim Grundy

Director, Applied Science, AWS

Eric Brandwine

VP/Distinguished Engineer, Amazon

Nickolai Zeldovich

Professor, MIT

Boaz Barak

Member of Technical Staff/Professor, OpenAI/Harvard

Agenda

8:00-9:00am

Check-in and Breakfast

9:00-9:10am

Welcome Remarks

Anne Szeto, Director of Amazon Research Initiatives

9:10-9:40am

Extending Concurrent Separation Logic to the Hardware Level to Verify the xv6 OS Kernel on RISC-V with AI Agents

Nickolai Zeldovich, Professor, MIT

9:40–10:10am

Automatic Verification of Privacy with Non-Classical Logics

Ioana Boureanu, Professor, University of Surrey

10:10-10:40am

Privacy-Preserving Automated Reasoning: From Program Verification to Private AI Guardrails

Ruzica Piskac, Professor, Yale

10:40-11:00am

Morning Break

11:00-11:30am

A Survey of Formal Code Verification Applications in the Agentic Automated Reasoning Team

Jim Grundy, Director of Applied Science, AWS

11:30-12:00pm

Fireside Chat

Eric Brandwine, VP/Distinguished Engineer, Amazon Security Leadership

Moderator: Tancrede Lepoint, Principal Applied Scientist, Amazon

12:00-1:00pm

Lunch

1:00-2:10pm

Lightning Talks

Amin Kharraz, Assistant Professor, Florida International University — Evaluation and Governance of AI Supply Chains in Scientific Workflows

Yiling Lou, Assistant Professor, University of Illinois at Urbana-Champaign — Toward More Reliable Agents via Harness Testing and Debugging

Yuan Tian, Associate Professor, UCLA — Securing Agentic AI: From Model-Level Control to Ecosystem Governance

LingMing Zhang, Associate Professor, UIUC — Long-Horizon Software Security Reasoning with LLM Agents

Joe Calandrino, Assistant Professor, CMU — Cyber Autonomy

2:10-2:30pm

Afternoon Break

2:30-3:00pm

Verifying Computation in the Modern World

Yael Kalai, Professor, MIT

3:00-3:30pm

Baris Coskun

Sr. Principal Scientist, Amazon

3:30-4:00pm

Defense in Depth for AI Safety

Boaz Barak, Member of Technical Staff, OpenAI

Frequently Asked Questions

Do you have discounted hotel rooms?

Yes. We have secured a room block at the Renaissance Arlington Capital View at a discounted rate of $167 per night. You will receive a link to book your room in your registration confirmation email. Please note that guests are responsible for their own room charges. Reach out to leozou@amazon.com for any questions.

Do you accept walk-ins?

No. The Symposium is an invite-only event and only confirmed registrants may attend.

Are meals provided?

Yes. Breakfast and lunch will be provided during the event, with snacks served during the evening reception.

Is there onsite parking?

Yes. Guests may park in the parking garage located directly beneath the building. Pull an access ticket at the garage entrance off either 18th Street or Crystal Drive. Please visit Amazon Reception for questions about parking validation.