Security-minded systems engineer building dependable distributed systems, compilers, and intelligent agents.
I build software around failure, coordination, and intelligent decision-making: Byzantine fault-tolerant protocols, distributed services, compiler pipelines, multi-agent systems, and reproducible machine-learning experiments.
I am pursuing an MSc in Computer Science and Engineering at Instituto Superior Técnico, University of Lisbon, with a focus on cybersecurity, machine learning, and systems security.
Dependable systems, security, and intelligent agents — from consensus protocols to multi-agent learning.
- DepChain — permissioned BFT blockchain with HotStuff-inspired consensus, authenticated networking, EVM execution, persistence, and adversarial integration tests.
- DuoMon — cooperative multi-agent controller using structured intent exchange, CTDE-trained joint action reranking, benchmarks, and replay analysis.
- UDF Compiler — C++20 compiler with Flex/Bison parsing, typed ASTs, semantic analysis, and postfix code generation.
- Replicated TupleSpaces —
Java/gRPC coordination service with blocking operations and
quorum-coordinated distributed
take. - Culinary Authorship Ensemble — heterogeneous NLP ensemble with a reported 96.30% five-fold cross-validation accuracy.
- PipeMania Solver — constraint propagation and state-space search with regression tests and visual diagnostics.
- Beyond Mars — interrupt-driven assembly game with concurrent processes, collision handling, and memory-mapped media.
Java · Python · C++ · Assembly · Distributed Systems ·
Byzantine Fault Tolerance · gRPC · Protocol Buffers · Compilers ·
PyTorch · NLP · Multi-Agent Systems · Security Testing
- Dependable and adversarial distributed protocols
- Cooperative agent reasoning and evaluation
- Security-conscious systems design
- Reproducible machine-learning experimentation