Adam Pacheck
Software Engineer at Zoox
Somerville, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolAdam Pacheck is a software engineer specializing in verifiable robotics with nine years of experience, currently working on planner verification and validation at Zoox. He earned a PhD in Mechanical Engineering from Cornell, where his research produced algorithms to repair unrealizable temporal logic specs, verifiable human-robot interaction controllers, and five peer-reviewed papers. Adam's background spans mobile manipulation, autonomous planning in unknown environments, and hands-on system building from academic prototypes to industry-grade verification pipelines. He has applied rigorous experimental methods in medical-device data analysis and swarm robotics, and has a track record of automating grading and lab instruction—demonstrating a blend of research depth, practical engineering, and teaching. Based in Somerville, MA, he brings multidisciplinary collaboration experience across Cornell, MIT, and Brown to production-focused autonomy problems.
9 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Mechanical Engineering, Doctor of Philosophy - PhD, Mechanical Engineering at Cornell UniversityBachelor’s Degree, Biomedical Engineering, Bachelor’s Degree, Biomedical Engineering at University of Rochester
English
Github Skills (3)
matlab7
synthesis4
rss3
Programming languages (3)
Github contributions (5)
autonomousmobilerobots/iRobotCreateSimulatorToolbox
Jan 2019 - Feb 2020
A MATLAB toolbox for simulating the movement of the iRobot Create. Contains multiple GUIs for creating maps and other input, showing Create movement, and replaying a previously saved session.
Contributions:17 commits, 5 pushes, 1 branch in 1 year
matlab
apacheck/synthesis_based_repair
May 2022 - Aug 2022
Synthesis-based repair for GR(1) specifications
Contributions:4 PRs, 51 pushes, 5 branches in 3 months
rsssynthesisspecificationsrepair
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.