Research track
AI
Agent workflows, machine-assisted engineering, and the discipline required to keep AI useful instead of theatrical.
6 published pieces
Published work
The Practical Value of Machine-Checked Proofs
Fermat’s Last Theorem has zero direct industrial utility. But the pipeline that machine-checked its 13 million lines of Lean code demonstrates an operational verification engine for critical software, cryptographic primitives, and hardware design. Here is where the real economic value lands—and how DIY developers and small teams can leverage it today.
AI · August 22, 2026How I Learned To Stop Worrying and Love The Prompt
Stop asking whether AI writes good code. Ask whether your process catches bad code either way. A field guide to the guardrail stack: self-running gates, tests-first contracts, mutation testing, and cold review.
AI · March 18, 2026The Dog Cancer Vaccine That Actually Worked — And How You Can Build One
Paul Conyngham built a personalized mRNA cancer vaccine for his dog Rosie using AI tools and academic collaboration. The tumor shrank 75%. Here’s what actually happened, how personalized neoantigen vaccines work, and what it would take to replicate the pipeline yourself.
AI · March 15, 2026What Secure AI Development Looks Like in Practice
Not theory, not vendor slides. Just the real questions around control, review, supply chain risk, and operational accountability.
AI · February 20, 2026RDP Authentication Forensics and AI-Assisted Patching of GNOME Remote Desktop 49.0
How agentic AI tooling helped investigate a 3-year-old GNOME Remote Desktop bug, and why adversarial verification of AI output caught four incorrect diagnoses.
AI · February 15, 2026From Filing Tickets to Fixing Problems: AI-Assisted Development of Secure OAuth2 Authentication for Apache Guacamole
How AI-assisted development enabled a security professional to build a secure OAuth2 extension for Apache Guacamole, discovering a CSRF vulnerability in the process.