1 00:00:00,160 --> 00:00:02,530

• So computers and networks and hardware are

2 00:00:02,530 --> 00:00:04,780 incredibly valuable and they make our lives wonderful,

3 00:00:04,780 --> 00:00:07,310 and they allow us to do tremendous things.

4 00:00:07,310 --> 00:00:09,600 But we have to be cognizant

5 00:00:09,600 --> 00:00:12,320 of where that information is going,

6 00:00:12,320 --> 00:00:13,883 what that information can do.

7 00:00:14,830 --> 00:00:18,500 And this technology allows us to talk,

8 00:00:18,500 --> 00:00:21,070 to peer into the future, and to look

9 00:00:21,070 --> 00:00:26,070 into what behaviors these systems are capable of,

10 00:00:26,818 --> 00:00:31,818 and then allows us to fix those unwanted behaviors

11 00:00:32,200 --> 00:00:33,510 in the system ahead of time.

12 00:00:33,510 --> 00:00:37,210 So it allows us to proactively look at possible behaviors

13 00:00:37,210 --> 00:00:38,753 of hardware or software.

14 00:00:49,550 --> 00:00:51,950

• Byron Cook is a distinguished scientist

15 00:00:51,950 --> 00:00:53,250 and Vice President at AWS.

16 00:00:54,310 --> 00:00:57,700 Byron has been working in the field of formal verification

17 00:00:57,700 --> 00:01:00,410 for over 20 years and has made several

18 00:01:00,410 --> 00:01:03,920 major research contributions over his career.