Applied Scientist II
Amazon Web Services, Inc.
Santa Clara, California
USA
Email: leeabarnett[at]gmail.com
Hello! I am an applied scientist at AWS, where automated reasoning is used to solve hard problems at scale in cloud security and authorization.
My research interests are in SAT and SMT solving, especially proof systems, and formal verification in general.
I received my doctorate (Doktor der technischen Wissenschaften) in 2022 from Johannes Kepler University in Linz, Austria. I was supervised by Armin Biere at the Institute for Formal Models and Verification.
Before that, I received my M.Sc. in computer science from the University of North Carolina at Chapel Hill, and my B.Sc. from Tulane University with a double major in mathematics and linguistics.
From October 2021 to April 2022 I was an R&D Engineer at Synopsys, Inc. in Hillsboro, Oregon.
From June to September 2021 I was an Applied Scientist Intern at Amazon Web Services, Inc. (AWS) in Cupertino, California.