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

Availability

If you need to meet with me, look at my availability status in the calendar below, and send me an email suggesting a time and the purpose.

I usually meet in my personal Zoom room.