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

Lisbon through the ages

Published: Oct 20, 2026

Author: Alcides Fonseca

Language: English

Tags: User Interfaces

Making intelligent softwaremore reliable.

Lisbon through the ages

Related articles

Designing for Dual Screen and Foldable Devices With CSS - Stephanie Stimac's Blog

Typography of the Future

Why TUIs are back

Needed updates to macOS

Scott Jenson on UI innovation

Making intelligent software
more reliable.