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

Anarchist's Valentine

“From a distance, when you think of anarchists you think of big boots and fighting with policemen,” he says. “But all the ones I’ve met have been very nice, very committed people. They believe in something and they want to find love, just like everyone else. Why would that surprise anyone?”

Anarchists deserve a Valentine’s day too.