Andrew Walter
Silicon Engineer at Meta
Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolAndrew Walter is a silicon engineer with 14 years of experience who recently completed a PhD in Computer Science from Northeastern University, specializing in formal methods under Panagiotis Manolios. He combines theorem provers, constraint solvers, and enumerative datatypes to generate constraint-satisfying test data and has applied this to fuzzing complex protocols like 802.11 and verifying microprocessor correctness and resistance to Meltdown-style cache attacks. Comfortable using ACL2s as a service, he builds systems that surface counterexamples and theorem-prover feedback to non-experts, bridging deep formal techniques with practical engineering. After internships at Amazon and Rivos, he moved into industry formal verification roles and now works at Meta on silicon, bringing a research-driven yet pragmatic approach to hardware verification. An unexpected thread through his work is adapting heavy-weight formal tools into usable oracles and automation that scale to real-world silicon and cloud-code analysis problems.
13 years of coding experience
1 year of employment as a software developer
Bachelor of Science (BS), Mathematics and Computer Science, Bachelor of Science (BS), Mathematics and Computer Science at Worcester Polytechnic InstituteDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Northeastern University
Github Skills (200)
firmware10
esp3210
javascript10
avr10
formal-verification10
first-order-logic10
rust10
logic10
vendor10
formal-methods10
atmel10
typescript10
commercial10
sat-solver10
common-lisp10
Programming languages (22)
Github contributions (5)
mister-walter/acl2s-docker
Jun 2019 - Jan 2024
Contributions:20 pushes, 8 branches, 7 tags in 4 years 7 months
acl2s/homebrew-acl2s
Jan 2022 - Nov 2024
A Homebrew formula for ACL2s
Contributions:1 release, 23 PRs, 82 pushes in 2 years 11 months
textlinthomebrew-formulaspell-checkermercurythunderbird
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.