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 — developing static analysis tools, symbolic execution pipelines, and formal verification techniques for compiled binaries. This work is ongoing through Assertion Labs Research and the IMDEA Software Institute affiliation in Madrid.

Before Northeastern, nine years at Raytheon BBN Technologies working on DARPA and IARPA research programs in security and AI. Currently a Senior Security Engineer at AWS, focused on authentication and authorization infrastructure.

Technical background