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

SoundCloud

Back in this year’s Codebits we presented an idea of having your music online, in the cloud. Well, I found out this cool web application that is somewhat similar, and has a great UI based on iTunes. it’s the SoudCloud Player and it’s opensource.