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

Wise Advice

My advice to everyone who is interested and can spare the (often substantial) time is: Keep your data in standard, interoperable formats as much as possible, and try out different, unfamiliar operating systems occasionally. It’s easiest to notice the weird negative things, but it’s myopic to assume there’s nothing good to be found. If nothing else, you can learn what doesn’t work for you, and why.

Steven Frank on not being Mac-only