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 | Keynote at SLATE | Aeon: an AI-ready programming-language |
| 2025 | Lambda World | Aeon: an AI-ready programming-language |
| 2025 | Tsukuba University | Program Synthesis with Liquid Types |
| 2025 | Osaka University | Usability of Liquid Types |
| 2023 | CFTC | Applications of Liquid Types |
| 2023 | Keynote at Ada-Europe | Applications of Liquid Types for more Reliable Software |
| 2018 | Sky Technology (internal) | Current Advances in Machine Learning |
| 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 |