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

WishList

Geek Stuff

Style

Books

Office

For those who want to surprise me:

Alcides Fonseca
Mejerigatan 2B room 1122
SE-412 76 Göteborg, Sweden