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

SciFi

SciFi is a futurology practice of telling you the possibilities of our future, an help for us to understand the choices we have today to help us shape the future.

I totally agree with Marcos’s SciFi post and even if it’s not a prediction of the problems we will have, it might work as inspiration for those who develop new technologies.