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

Learning and Working in the Collaborative Age

Seems like Bill Gates is not the only one to have a foundation that cares about education, but George Lucas has has one1. I discovered in its website a terrific presentation on the new way education and businesses should look at collaboration and the profile they should be looking for.







Just a couple of notes from the presentation: First a portfolio is way more important than résumés. The latter reveals what you could do while the former tells what you have really done. When I was watching it, I heard a phrase that really expresses what an innovator is:

“the core skill of innovators is error-recovery, not failure-avoidance”


  1. Rich guys always need to reduce taxes, that’s why every soccer player in Europe has one. ↩