About me
For nine years I have built developer tools, test infrastructure and language tooling. At AdaCore I lead the team behind GNATfuzz, and I wrote GNATformat, the default formatter for Ada.
I started in aerospace, writing flight software for the Boeing 777X after studying aerospace engineering in Lisbon.
Outside my day job I build websites and custom software for people and small businesses.
Experience
2025 – now
Software Team Lead
AdaCore
Architecture and technical direction for GNATfuzz, an automated fuzz-testing tool for Ada, C, C++ and Rust programs. I also manage and mentor the engineers who build it.
2020 – 2025
Senior Software Engineer
AdaCore
Designed and built GNATformat, the default formatter in the Ada Language Server, and worked on the language server and its VS Code extension.
2018 – 2020
Software Engineer
AKKA Technologies, for GE Aviation
Safety-critical software for the electrical load management system of the Boeing 777X.
2018
Software Engineer
CRITICAL Software Technologies
Safety-critical software for flight-control actuators.
Projects
LUMA Posing
Launching soonBilingual website with online booking for a bikini posing coach.
What I do
Websites and custom software
For people and small businesses, from the first idea to launch.
Developer tooling
Formatters, language servers, refactoring tools and VS Code extensions.
Fuzzing and testing
Multi-engine fuzzing with AFL++, LibAFL and symbolic execution.
Technical leadership
Software architecture, design reviews and mentoring.
LLM-assisted engineering
Automated code review and warning triage built on Claude.
- Rust
- Python
- Ada
- TypeScript
Open source
GNATformat
Opinionated Ada formatter, the default in the Ada Language Server. Lead developer.
Prettier-Ada
Ada port of Prettier's document model. Lead developer.
Speaking
“Digital Security by Verification: Fuzz Testing on CHERI”, High Integrity Software Conference 2025.
Education
BSc and MSc in Aerospace Engineering, Instituto Superior Técnico, Universidade de Lisboa.