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

Don't dumb down museums

We should have museums about science and technology because those subjects are important, not so we can sell crap in the museum shop or increase the Sats results.

Read Tom Morris on Museums