Alcides Fonseca.AI & Programming Languages researcher

Making intelligent software
more reliable.

I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.

Explore my research Get in touch

Program synthesisLiquid typesReliable AIGuardrailsEvals

Sell The Vatican, Feed The World!

Sell the Vatican, Feed the World. So obvious, why didn’t they think about it?

Published: Oct 12, 2009

Author: Alcides Fonseca

Language: English

Making intelligent softwaremore reliable.

Sell The Vatican, Feed The World!

Making intelligent software
more reliable.