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

Sistema Educativo

Um excelente texto humorístico sobre o sistema de educação se fosse aplicado 20 séculos antes.

Published: Jun 30, 2009

Author: Alcides Fonseca

Language: Português

Making intelligent softwaremore reliable.

Sistema Educativo

Making intelligent software
more reliable.