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

Pensem três vezes antes de casar com um católico

Sim, devem pensar três vezes antes de casar com um católico. Os gajos são esquisitos e tal, só aceitam a verdade deles. E quem já leu a Bíblia toda?

Então se for como este aqui tenham cuidado a valer!

Ah, e estou a pensar em ler isto, é capaz de ser engraçado :)