Principal Applied Scientist; Amazon
Andrew Gacek is a Principal Applied Scientist in Identity and Access Management at Amazon Web Services. Andrew designs services that use automated reasoning to help customers secure their applications and data. Previously, Andrew worked at Rockwell Collins, building formal verification tools for certification of safety critical avionics systems. Andrew holds a PhD in Computer Science from the University of Minnesota.