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

To all ma.gnolia users out there.

Andr3 finally released it. The de.fibrillator, a way of getting your ma.gnolia bookmarks back and ready to import in del.icious (or any other service).

Kudus!