Curious about Automated Reasoning with Werner Vogels | Amazon Web Services

3 617
21.5
Опубликовано 15 марта 2022, 17:24
Dr. Byron Cook is a pioneer in the field of formal verification, and in this video he joins Dr. Werner Vogels, CTO of Amazon.com, as they discuss the current state of formal verification and automated reasoning.

Learn more at bit.ly/3JgeRRo.

Subscribe:
More AWS videos - bit.ly/2O3zS75
More AWS events videos - bit.ly/316g9t4

ABOUT AWS
Amazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform, offering over 200 fully featured services from data centers globally. Millions of customers — including the fastest-growing startups, largest enterprises, and leading government agencies — are using AWS to lower costs, become more agile, and innovate faster.

#AWS #AmazonWebServices #CloudComputing
автотехномузыкадетское