Robert Chiniquy

Staff Software Engineer, C1.ai

Robert Chiniquy is a Staff Software Engineer at C1.ai, writing on the engineering blog about formal methods and authorization, including the work of formally verifying the C1.ai identity connectors.

3 articles by Robert Chiniquy

• 
  EngineeringFeb 12, 2026

  One Mock Server, Twelve Protocols

  A YAML-driven mock server that speaks twelve protocols through one interface. Adding a new connector means writing a config file.

• 
  EngineeringFeb 11, 2026

  Formally Verifying Two Hundred Identity Connectors

  Connector verification reduces to three set operations. Here's the framework that proves two hundred identity connectors correct.

• 
  EngineeringFeb 10, 2026

  Six Shapes of Authorization

  We axiomatized over 1,800 permission systems. Every one of them reduces to one of six shapes.