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

Take me to FOWA, FOWD or FOM

So it seems that Carsonified, the company that organizes FOWA, FOWD and FOM , and the authors of Matt are making a damn sweet competition.

The winner gets a full-paid trip to one of those events, tickets to all of them as well as backstage access and includes one VIP speaker dinner.

So how can you help me winning? Just leave a comment below, and when I reach 25 I’ll get electable. And if I win, you can count on blog posts about it.

And why I’m into this, if I am sceptic against this kind of contests? Because the prize is so sweet, and I don’t have to spend anything :) Plus, I’m a webwhore1.


  1. The twit to which @sdsantos replied I’m a webwhore. ↩