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

Boomkat - The Wreckoning

Boomkat – The Wreckoning (Lousy video, nice music!)

PS: I’m linking to dailymotion since youtube is getting on my nerves for always showing “video not available in your country”. The Internet is global and Google shouldn’t be doing this. I bet they have awesome lawyers that would kick RIAA’s ones.