I'm a cybersecurity expert, static analysis researcher, and founder of Interpretica, a software security company based in Porto, Portugal. I build tools that find real bugs, vulnerabilities, and reliability issues in large production codebases. My work spans static analysis frameworks, compilers and development tools, distributed testing, and deep reverse engineering (some older results are on my @ultrashot GitHub account).
This is not just theory. Across nearly two decades I've shipped software to hundreds of thousands of devices, including embedded systems, networking products, and security-critical software, and led large, long-running projects end to end. Based in Porto, Portugal, I work with engineering teams across Europe and worldwide.
Expertise
- Static analysis: industrial-grade analyzers that surface real defects in large codebases.
- Cybersecurity: finding and eliminating real vulnerabilities in production systems.
- Reverse engineering: undocumented platforms, binaries and protocols.
- Development tools: compilers, IDEs, debuggers and build systems.
- Embedded & Software Testing: testing strategies for complex software, embedded systems, and production environments.
Founder of Interpretica
I founded Interpretica to bring deep software testing and analysis into real-world engineering teams.
We help companies working with complex software systems discover vulnerabilities, prevent failures, and improve reliability through static analysis, cybersecurity testing, and engineering expertise.
Facts
I've shipped hundreds of tools and systems that run in production on hundreds of thousands of devices.
I've led and contributed to large-scale engineering projects involving many developers and complex codebases.
I specialize in long-term technical challenges where understanding the entire system matters.
I research and build static analyzers and security tooling that tackle real industrial problems.
Skills
- Static analysis & security tooling.
- System programming (C/C++, Rust).
- Reverse engineering.
- Embedded software.
- Compiler technologies.
Research interests
- Improving static analysis.
- Development tools (IDEs, compilers, debuggers, ...).
- High-performance computing, networks and virtualization.