About

Ryan Williams

Security Engineering Program Analysis Formal Methods

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 doctoral research at Northeastern examines WebAssembly security, static analysis, symbolic execution, and formal methods for compiled code. Assertion Labs Research is where that work continues publicly.

Earlier roles include Senior Research Scientist at BitSight and nine years at Raytheon BBN Technologies, working on DARPA- and IARPA-funded efforts in cybersecurity, networking, and resilient systems.

Technical background

Languages

OCaml Rust Elixir Go Python C/C++

Research tools

Coq Why3 Rosette KLEE LLVM Owi

Systems

WebAssembly LLVM IR x86/ARM binaries AWS IAM

Methods

Abstract interpretation Symbolic execution Model checking Program synthesis