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

Talks

I am available to give talks either in a public or private setting. My expertise ranges from Programming Languages to Machine Learning and Artificial Intelligence in general. More recently, I have invested in mathematical and software verification using programming languages like Lean or Aeon.

2026 Lisbon.ai Guardrailing your agents with types and logic
2026 Keynote at SLATE Aeon: an AI-ready programming-language
2026 FEUP Applications and Usability of Liquid Types
2025 Lambda World Aeon: an AI-ready programming-language
2025 Tsukuba University Program Synthesis with Liquid Types
2025 Osaka University Usability of Liquid Types
2024 GECCO Semantically Rich Local Dataset Generation for Explainable AI in Genomics
2023 CFTC Applications of Liquid Types
2023 Keynote at Ada-Europe Applications of Liquid Types for more Reliable Software
2022 APR @ ICSE Figra - Evaluating a larger search space for Cardumen in Automatic Program Repair · alternate version
2022 GPCE @ SPLASH Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
2022 RAW @ ICT4S Type Systems in Resource-Aware Programming - Opportunities and Challenges
2022 WITS @ POPL Understandable and Useful Error Messages for Liquid Types
2021 GPTP Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming
2018 Sky Technology (internal) Current Advances in Machine Learning
2018 GoPortugal - CMU Portugal Where Programming Language Theory meets Systems Optimization
2018 EDCC Soft Error Sensitivity and Vulnerability of Programming Languages
2016 Coimbra Codes #3 Functional programming with and without Haskell
2015 SAPO Sessions (internal) Programming with GPUS – How we have a Ferrari next to our 2CV
2013 University of Beira Interior Programming with Python
2012 Sapo Codebits VI What’s all the fuss about Functional Programming
2011 Sapo Codebits V The Future of Programming Languages
2008 Barcamp Portugal #3 Take Your Contacts With You
2008 Microsoft TechDays Dynamic Languages on .NET
2008 Microsoft Popup Future of Web
2008 Microsoft ImagineCup Roadshow IronPython and XNA
2007 Barcamp Portugal #2 Ejaki — Sharing POIs
Author: Alcides Fonseca
Language: English