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

Putting the Fun in Stairs

Turning boring stairs in an awesome piano that makes people forget about the escalator.

Published: Oct 10, 2009

Author: Alcides Fonseca

Language: English

Making intelligent softwaremore reliable.

Putting the Fun in Stairs

Making intelligent software
more reliable.