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
More information about my Teaching and Research.
Professional
| 2026 |
AI Expert |
Dragonboat |
Guidance on AI adoption, and consulted on product-specific evals. |
| 2022-2025 |
Mentor |
Decipad (defunct) |
Gave feedback on the programming language and compiler. |
| 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
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. |
