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

Hide&Seek Festival

Hide&Seek Festival is taking place in London’s Southbank Centre starting today. I really wish I could be there to play all those social games. CapeTown would be a must. Also, most of the rules are available with a CC license, so you could gather with some friends and play them.