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

Colin Brittain plays From Zero

Today’s work session is brought to you by Colin Brittain playing and talking about Linkin Park’s From Zero, one of my favorite albums from the past two years.