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.