Computer Use at the Edge of the Statistical Precipice
AI Engineer World's Fair 2026 · 17:28
← All organizationsprogrammalabs.ai ↗
AI software verification
Programma Labs
Programma Labs develops technology to make AI-generated software verifiable by humans and machines. Its focus is scalable human oversight: helping people oversee software produced by AI.
Founder Pierluca D'Oro is an engineer and scientist whose work focuses on AI agents. He completed his engineering studies in Italy and his PhD at Mila in Montreal before moving to the United States.
The company is building software-verification agents.
1 talk
Newest first1 speaker at AIE
Affiliations reflect their AIE appearances, not necessarily current employment.
Messages from the stage
Confidence intervals can overstate certainty
D'Oro reports that rollout-only nominal 95% confidence intervals can achieve approximately 17–20% coverage, highlighting a gap between reported confidence and actual uncertainty in evaluation.
Affiliations reflect each recorded session, not necessarily current employment.