Ryan Williams

Security engineer, program analysis researcher, and founder of Assertion Labs. My work sits at the intersection of formal methods and systems security — building tools that reason about code rather than just test it.

My PhD research at Northeastern focused on WebAssembly security, static analysis, symbolic execution, and formal methods for compiled code. Assertion Labs Research is the place where that work continues publicly.

Before AWS, I was a Senior Research Scientist at BitSight and spent nine years at Raytheon BBN Technologies, where I worked on DARPA- and IARPA-funded efforts in cybersecurity, networking, and resilient systems.

Technical background