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

anime

Manga brought to the TV screens.

The very best:

Top Anime:

Only if you have a lot of free time:

To see

Resources:


  1. I tried to watch the original movie, but I gave up half way. ↩