HackTalk: Joe Kiniry (Sigil Logic / Galois)
HackTalk: Joe Kiniry (Sigil Logic / Galois)
Day 1 talk for the Secure Program Synthesis Hackathon, May 22-24 online. Free and open. Recording available after.
Sigil Logic builds HOARDE, a multi-agent system that takes requirements all the way to machine-checkable specifications, types, contracts, proofs, and continuously-verified pull requests. The tagline: "AI for when good enough is not an option." HOARDE orchestrates Alloy, AADL/SysML, Verus, Kani, and SAW so a team can actually adopt this stack without rewriting their workflow.
Dr. Joe Kiniry is the CEO and Chief Scientist of Sigil Logic, a Galois spinout, where he leads work on AI-driven formal methods for high-assurance systems. He spent the prior 12 years as Principal Scientist at Galois on hardware, firmware, and software correctness and security, and remains affiliated there. He holds a PhD from Caltech and is a Senior Member of both IEEE and ACM. Co-author with Mike Dodds on generative AI for formal specifications.
Topics: how HOARDE elicits and validates specifications from real codebases, where current formal-methods toolchains plug in, and where this hackathon's four tracks meet problems Sigil and Galois are working on right now.
Format: 15-30 min talk + 10-15 min Q&A. Zoom, livestreamed and recorded.
Co-organized by Apart Research and Atlas Computing.