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

PushTheWebUp

Friends don’t let friends run old browsers!

That’s the spirit of the PushUpTheWeb, a movement for people to include a small javascript code that alerts the user when he’s not using the latest version of his browser. I’ll definitely add it to some of my websites :)

Btw, if you make websites, take a look at A List Apart’s 2008 survey