I build software around failure, coordination, and intelligent decision-making: Byzantine fault-tolerant protocols, distributed services, compiler pipelines, privacy-conscious browser tools, leakage-resistant machine-learning pipelines, multi-agent systems, and reproducible security labs.

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.

• OpenDraft — local-first LaTeX workspace with in-browser WebAssembly compilation, structured source editing, project persistence, and integrated PDF review.
• WorldCup2026 — reproducible football forecasting framework with strict walk-forward validation, engineered pre-match features, calibrated multiclass models, and Monte Carlo tournament simulation. Result: Correctly predicted both first and second place at the World Cup using only pre-tournament data and the group-stage draw.
• 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.

• Hackergram Web Security — SQLi, XSS, CSRF, SSRF, XXE, NoSQL injection, LLM-mediated attacks, mitigations, and hardened retesting.
• TACACS+ and 802.1X AAA — RADIUS-backed access control, EAPOL, PEAP/MSCHAPv2, authorization, and accounting evidence.
• IPSec and DMVPN — IKEv1/IKEv2, certificate authentication, SA rekeying, and DMVPN Phase 3 spoke-to-spoke routing.
• Cisco ZBPF and DoS Mitigation — campus segmentation, NAT, SSH-only administration, firewall policy, and flood-mitigation evidence.
• BGP/MPLS L3VPN — VRFs, MP-BGP VPNv4, MPLS labels, route targets, and provider tenant isolation.
• Linux and Docker Networking — namespaces, IPIP, macvlan/VLANs, multicast VXLAN, and Swarm overlay networking.

Java · Python · C++ · TypeScript · React · WebAssembly · scikit-learn · PyTorch · LaTeX · Distributed Systems · Byzantine Fault Tolerance · gRPC · Protocol Buffers · Compilers · Network Security · Docker · GNS3 · NLP · Multi-Agent Systems

Languages by repository	Languages by commits

Dynamic language breakdown based on public GitHub repository and commit metadata.

• Dependable and adversarial distributed protocols
• Local-first developer tools and in-browser systems
• Leakage-resistant evaluation and predictive simulation
• Cooperative agent reasoning and evaluation
• Applied network and application security

Email · GitHub