Andrew Gacek
Senior Principal Applied Scientist at Amazon Web Services (AWS)
Minneapolis, Minnesota, United States
Summary
👤
Senior🎓
Top SchoolAndrew Gacek is a Senior Principal Applied Scientist with 19 years of experience applying formal methods, logic and automated reasoning to real-world software and embedded systems. He has led advanced research and engineering efforts at AWS and Amazon after a long tenure at Rockwell Collins and a PhD-backed academic career, translating decision procedures, SMT/SAT solvers, and model checking into production-quality tooling. His work spans automatic test-case generation, compositional reasoning, language translation/compilation and domain-specific languages for microkernel and safety-critical contexts. Known for bridging deep theory and pragmatic software development, he repeatedly takes provably-correct techniques from prototype to large-scale deployment. Based in Minneapolis, he combines academic rigor with product-focused execution, often tackling problems few engineers can formalize end-to-end.
19 years of coding experience
13 years of employment as a software developer
University of Nebraska at OmahaPhD Computer Science, PhD Computer Science at University of Minnesota
Stackoverflow
98reputation
1kreached
4answers
3questions
Github Skills (135)
lambda10
relational-algebra10
logic10
model-state10
checker10
automata10
lambda-calculus10
tla10
lustre10
model-checking10
theorem10
modulo9
agda9
aws9
prolog9
Programming languages (13)
Github contributions (5)
abella-prover/abella
Jan 2007 - Oct 2013
An interactive theorem prover based on lambda-tree syntax
Contributions:942 commits, 1 comment in 6 years 11 months
interactive-theorem-provingprovertheoremtheorem-proverlambda-calculus
andreaskatis/jkind-1
Apr 2013 - Jun 2014
Contributions:28 commits in 1 year 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.