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.

Explore my research Get in touch
Program synthesisLiquid typesReliable AIGuardrailsEvals

Programming Language Teaching

Resources for teaching programming languages, language design, and programming systems.

Courses and teaching materials

  • Programming language design — Charles University (2024–25): lecture slides, readings, and project guidance combining programming language theory and formal methods with human-centered design and user studies. Topics include type systems, formal models, the history of programming, and evaluating the usability of programming systems.
Author: Alcides Fonseca
Language: English