Alcides Fonseca

40.197958, -8.408312

About

I am passionate about technology, with a focus on programming languages, verification and artificial intelligence. Not to get stuck in the academic ivory tower, I try to balance some professional work to keep me up to date, and to feel I have a real impact in the world.

Academic

2024-current Associate Professor University of Lisbon
2017-2024 Assistant Professor University of Lisbon
2011-2017 PhD Student University of Coimbra
2013 Visiting Professor ISCTEM
2010 Visiting Scholar Carnegie Mellon University

More information about my Teaching and Research.

Professional

2018-2024 Scientific Consultant Genomed (acquired by Synlab) Led the team that built from scratch a platform for automating the report generation for clinical genomics testing, including machine learning scoring.
2017 Back-end Developer Smash-Tech (defunct) Developed the (Django) back-end for a tennis match-making mobile application.
2016 Full-stack and Mobile Developer Sentilant Developed from scratch an Android mobile and (Django) web application for reporting and prioritizing georeferenced city council issues.
2010-2012 Back-end Developer Bürocratik Developed the back-end for several websites from the Critical Software group and MRG.
2007-2009 Co-Founder, Director jeKnowledge Co-created a junior company and managed all Software-related projects.

Speaking

2026 Keynote at SLATE Aeon: an AI-ready programming-language
2025 Lambda World Aeon: an AI-ready programming-language
2023 Keynote at Ada-Europe Applications of Liquid Types for more Reliable Software
2018 Sky Technology (internal) Current Advances in Machine Learning

You can check my complete list of talks.

Community

2023-current PL@LX Regular meetups for people interested in Programming Language design, in Lisbon.
2007-2009 Take-Off Yearly country-wide event for entrepreneurs and innovation, back when the Web 2.0 was booming.