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

Erasmus start

I have arrived at Göteburg – Sweden and I’ll be spending the next semester here at Chalmers. I’m not alone in this journey, the guys are here with me.

Right now I’m enjoying the last day of holidays and getting to know the city, so updates here might be scarce, since I am restricting personal stuff to our common erasmus-related tumblelog. I will give out the link per request.

For now, the weather is nice (already got in the pool) and we’re now adapting to the new timetable.