Alcides Fonseca.AI & Programming Languages researcher
40.197958, -8.408312

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.

Program synthesisLiquid typesReliable AIGuardrailsEvals

Matias Duarte on Android

I just wanna say that Google is lucky to have someone who takes so much pleasure from working on this issue, and that follows their vision of Android as a platform. I’ll be sure to keep an eye on Honeycomb for smartphones to see the differences he caused on the UI.