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

Monopoly, Black Mirror Edition

Wizard of Id — 13th September 2026

— Wizard of Id — 13th September 2026

Not being a fan of monopoly when it comes to Good Boardgames™ (try Suburbia or Tigris & Euphrates if you want something actually good), but we really need an interactive media experience closer to Black Mirror or Years and Years. AI Safety is a big issue today, but no one wants to watch or play the media from the 80ies (WarGames), 90ies (The Net) or 2000s (I, Robot, A.I., Minority Report).

Read next