Blog

  • The U.S. Capitol at dusk seen through the window of a boardroom in Washington, D.C.

    AI for Defense Software Engineering at the National Academies

    Sigil Logic

    "Move fast and prove things." Kiniry's opening talk at a National Academies convening: AI does not lower the assurance bar, it moves the bottleneck.

  • The Sigil Logic mark in brass on a glass door

    Correct and Secure by Construction at INTERSCT 2026

    Sigil Logic

    There are roughly a million connected devices for every engineer who can secure one. Kiniry's INTERSCT keynote on what AI changes about the cost of assurance.

  • The United States flag beside the Nuclear Regulatory Commission flag, where the 24th Software Certification Consortium met

    AI and Software Certification at SCC 2026

    Sigil Logic

    Kiniry's talk to a certification audience at the NRC: if AI sits in the generation path rather than the verification path, the proof kernel is still the trust anchor.

  • Joseph Kiniry presenting the HOARDE architecture diagram at HCSS 2026 in Annapolis

    Autonomous Formal Methods at HCSS 2026

    Sigil Logic

    Joseph Kiniry's HCSS talk on why verification still runs at human speed while AI generates code at agent speed, and what HOARDE does about it.

  • The Slop Machine, a slot-machine like device that produces bugs, vulnerabilities, and downtime

    The Slop Machine

    Joe Kiniry, Shpat Morina

    The better AI-generated code looks, the easier it is to trust a process that isn't giving you any evidence about its outcomes

  • Abstract blog graphic for Correctness Accelerates Innovation

    Correctness Accelerates Innovation

    Joe Kiniry

    Rigor reduces rework, improves delegation, and lets teams move faster with less fear when AI agents are part of the workflow.

  • Sigil Logic

    Introducing Sigil Logic

    Joe Kiniry

    Sigil Logic is building AI-augmented tooling that makes rigorous engineering and formal methods practical for everyday software teams.