Tom Hawkins
Bellingham, Washington, United States
Summary
👤
Senior🎓
Top SchoolTom Hawkins is a Formal Methods Engineer with 16 years of experience bridging rigorous computer science and hands-on electrical engineering across embedded control, ASIC design automation, and high-performance computing. He has held senior engineering roles at Groq and BAE Systems and now applies formal verification and functional programming techniques at Atalanta to make complex hardware-software systems auditable and reliable. His background includes managing design automation for medical ASICs, leading hydraulic hybrid vehicle control software, and developing avionics flight-control systems—skills that give him a deep appreciation for hard realtime constraints. Comfortable across languages, compilers, and chip design flows, he brings a systems-first perspective and a practical knack for turning formal methods into deployable solutions. Based in Bellingham, WA, Tom is also mechanically curious, often blending mechanical intuition with formal reasoning to solve interdisciplinary engineering challenges.
16 years of coding experience
17 years of employment as a software developer
BS, Electrical Engineering, BS, Electrical Engineering at Colorado State University
Stackoverflow
141reputation
20kreached
0answers
1question
Github Skills (14)
parsing9
hackage9
parser9
verilog9
dsl8
realtime7
binding7
embedded7
elf6
objdump6
linker6
haskell6
compiler2
codec1
Programming languages (1)
Github contributions (5)
tomahawkins/risk
Dec 2013 - Oct 2014
Contributions:32 commits in 10 months
tomahawkins/powerpc
Feb 2010 - Oct 2011
Contributions:30 commits in 1 year 7 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.