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

Python's evolution visualization

code_swarm – Python from Michael Ogawa on Vimeo.

Great clip showing off Python’s evolution (based on commit information). Really cool!

Published: Jun 15, 2008

Author: Alcides Fonseca

Language: English

Making intelligent softwaremore reliable.

Python's evolution visualization

Making intelligent software
more reliable.