Data Science Institute-Industry-Innovation Seminar: Byron Cook, Amazon
Wednesday,
March 6, 2019
6:00 PM - 7:30 PM
"Reasoning about Security of Amazon Web Services"
Byron Cook, Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services
Abstract: 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.
Bio: 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).
Byron Cook, Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services
Abstract: 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.
Bio: 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).
LOCATION:
← BACK TO EVENTS
- Morningside
- Lecture
- Seminar
- Engineering
- Alumni
- Faculty
- Family-friendly
- Graduate Students
- Postdocs
- Prospective Students
- Public
- Staff
- Students
- Trainees
Date Navigation Widget
Getting to Columbia
Other Calendars
- Alumni Events
- Barnard College
- Columbia Business School
- Columbia College
- Committee on Global Thought
- Heyman Center
- Jewish Theological Seminary
- Miller Theatre
- School of Engineering & Applied Science
- School of Social Work
- Teachers College
Guests With Disabilities
- Columbia University makes every effort to accommodate individuals with disabilities. Please notify us if you need any assistance by contacting the event’s point person. Alternatively, the Office of Disability Services can be reached at 212.854.2388 and [email protected]. Thank you.