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

Little Printer

Hello Little Printer, available 2012 from BERG on Vimeo.

Loved the concept from BERG. Dear Santa, can I have one?

Published: Nov 29, 2011

Author: Alcides Fonseca

Language: English

Making intelligent softwaremore reliable.

Little Printer

Making intelligent software
more reliable.