MSc in Computer Science from the University of Porto, with professional experience in software engineering for complex and safety-critical systems.
My work has included software testing, C++ test development, Python automation, system-level debugging, requirements analysis and engineering tooling. I'm particularly interested in software development, automation and reliable systems.
Most of my professional work is proprietary, so the public repositories here mainly contain selected projects from my Computer Science degree and research work.
-
Linear Rank Intersection Types — Master's Thesis Implementation developed as part of my MSc thesis, exploring type inference for linear rank intersection types.
-
Rust-like Compiler C compiler project using Flex and Bison, with abstract syntax trees, intermediate-code generation and translation to MIPS assembly.
-
Quantitative Type Systems Academic project exploring quantitative type systems and rank-2 intersection types in Haskell.
C++ · C · Python · Haskell · Git