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

Start Menu of the Internet

Google has just announced the next version of their “google bar”. The Google Menu is what I consider to be the “Start Menu” of the internet. And this really aligns with the Chrome OS vision of Google, where all devices are dumb clients.