BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Columbia Entrepreneurship - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://entrepreneurship.columbia.edu
X-WR-CALDESC:Events for Columbia Entrepreneurship
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20180101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20190306T180000
DTEND;TZID=UTC:20190306T193000
DTSTAMP:20260504T020606
CREATED:20190114T213101Z
LAST-MODIFIED:20190114T213101Z
UID:15477-1551895200-1551900600@entrepreneurship.columbia.edu
SUMMARY:Data Science Institute-Industry-Innovation Seminar: Amazon
DESCRIPTION:OPEN TO COLUMBIANS\n\nByron Cook\, Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services\n\n \nWednesday\, March 6\, 20108\n6:00PM – 7:30PM\nSchapiro CEPSR\, Davis Auditorium (412)  \n\nAbstract: This talk will discuss the development and use of formal verification tools within Amazon Web Services (AWS) to increase the security assurance of its cloud infrastructure and to help customers secure themselves. I’ll also discuss some remaining challenges that could inspire future research in the community.\n\nBio: Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. Byron’s interests include computer/network security\, program analysis/verification\, programming languages\, theorem proving\, logic\, hardware design\, operating systems\, and biological systems. Byron is the founder and leader of Amazon’s Automated Reasoning Group (ARG).e at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services
URL:https://entrepreneurship.columbia.edu/event/data-science-institute-industry-innovation-seminar-amazon/
CATEGORIES:Columbia Data Science Institute
END:VEVENT
END:VCALENDAR