Independent research & engineering
Clarity for
complex software.
Assertion Labs brings research in program analysis, formal methods and systems security to the design and evaluation of software.
The work
Understanding what a system does.
Examining why it can be trusted.
From a program’s behavior to an AI application’s authority, useful answers require careful models, explicit assumptions and evidence that can be examined.
Research & engineering
Ideas grounded in the work.
Explore publications in software analysis and verification, alongside independent software projects that put technical ideas into practice.
Explore the research record →Browse company projects →Insights
Questions worth examining.
Notes on software, evidence and technical judgment. New writing appears here after review; the public research record is available now.
Visit insights →Working together
Independent perspective. Technical depth.
Research collaborations, technical reviews and advisory engagements shaped around the question at hand.
AI systems & security
Examine how AI applications access data, exercise authority and interact with other systems. Evaluate the architecture and the evidence behind its security claims.
Executive & board briefings
Clear technical context for consequential decisions. Focused preparation, a concise written brief, and a discussion of the questions management should be able to answer.
Independent technical diligence
Examine a product’s architecture, security claims and technical assumptions before a consequential investment, acquisition or product decision.
Research & assurance
Bounded investigations, analysis prototypes and independent evaluation in program analysis, compilers, formal methods and AI-enabled software systems.
The principal
Independent by design.
Assertion Labs is Ryan Williams’ company for independent research, software projects and technical advisory work.
About Ryan →A conversation about the work.
A short description of the problem, its timing and intended audience is enough. Engagements are subject to conflict and availability review.
Get in touch →