Alcides Fonseca.AI & Programming Languages researcher

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.

Explore my research Get in touch

Program synthesisLiquid typesReliable AIGuardrailsEvals

How can Gambit be missing?

How can Gambit, or even Nathan Grey, be missing from the Top 25 X-Men?

Published: Nov 27, 2008

Author: Alcides Fonseca

Language: English

Making intelligent softwaremore reliable.

How can Gambit be missing?

Making intelligent software
more reliable.