Michael Rawson
UK, United States
Summary
👤
SeniorMichael Rawson is a scientist and machine learning researcher with 14 years of experience focused on automated reasoning and automated theorem proving. Currently a Scientist at Amazon and completing a PhD in applied mathematics and statistics, he bridges rigorous academic research with applied industry work in formal methods and ML. His background includes an MS in Mathematics and Computer Science from NYU and a history as a research associate in automated reasoning, giving him deep expertise in probabilistic and symbolic techniques. Known for turning complex theoretical ideas into practical tooling, he combines theorem-proving insights with data-driven models to improve automation in reasoning systems. Based in Seattle, he brings a rare mix of long-standing engineering experience and fresh doctoral-level research, often exploring less obvious intersections between statistical learning and formal proof systems.
14 years of coding experience
Stackoverflow
1,935reputation
121kreached
35answers
9questions
Github Skills (28)
theorem10
z39
rust9
compiler8
crate8
garbage-collection6
rust-language6
haskell6
ffi6
python-sphinx6
python6
glib6
gcc6
rust-lang6
allocator5
Programming languages (5)
Github contributions (5)
vprover/vprover.github.io
Nov 2017 - Mar 2026
Contributions:4 PRs, 14 pushes, 2 branches in 8 years 5 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.