Computer Science and Engineering student at Instituto Superior Técnico (IST) — Universidade de Lisboa.

Focusing on systems programming, concurrency, computer architecture, algorithms, and database systems.

GitHub • Email • Institutional • Lisbon, Portugal

• Languages: C, Python, Java, SQL (PostgreSQL), RISC-V Assembly, Prolog, R
• Systems & Concurrency: Linux / POSIX, POSIX Threads (pthread), Named Pipes (FIFOs), Mutexes, Dynamic Memory Management (malloc/realloc), GNU Make, GCC, GDB, Valgrind
• Databases & Tools: PostgreSQL, Docker, Git, Schema Normalization, Connection Pooling, ACID Transactions
• Web & Prototyping: Flask, REST APIs, JavaScript, p5.js, Figma

• vaxlogistics-c — Vaccine batch logistics and inoculation tracking engine in C11 with dynamic heap arrays (realloc), standard input parsing, and zero memory leaks. [C11, POSIX, Valgrind, CLI]
• distributed-pacman-c — Multi-client distributed Pacman game using Named Pipes (FIFOs), dedicated worker threads, mutex synchronization, and an interactive ncurses interface. [C17, POSIX Threads, FIFOs, ncurses]
• slitherlink-csp-solver — Automated Slitherlink puzzle solver formulated as a Constraint Satisfaction Problem with domain constraints, closed loop traversal, and depth-first tree search. [Python 3, CSP, DFS, Tkinter]
• libflow-java — Object-oriented library management system implementing Strategy (loan rules), Observer (stock alerts), and State design patterns with Java binary serialization. [Java 17, OOP, Design Patterns, SOLID]
• riscv-neural-cpu — Single-cycle 8-bit CPU microarchitecture in Logisim-evolution alongside a 2-layer forward propagation neural network image classifier in RISC-V assembly. [RISC-V, Assembly, Logisim, CPU Architecture]

• zoo-management-database — Zoological park database with PostgreSQL integrity triggers, deferred constraint triggers, OLAP analytics (GROUPING SETS, CUBE), and a Flask REST API with connection pooling. [PostgreSQL, Docker, Flask, Python]
• distributed-pacman-c-part1 — Concurrent Pacman engine featuring autonomous monster threads, condition-variable input dispatching, and in-memory quicksave/restore via POSIX fork(). [C17, POSIX Threads, Mutexes, ncurses]
• python-strategy-games — Strategy board game engines for m,n,k alignment and Orbito with lookahead rollout simulation bots and mutable matrix ADTs. [Python 3, Game Engines, ADTs, Heuristics]
• star-battle-prolog — Declarative combinatorial solver for Star Battle puzzles in SWI-Prolog utilizing geometric pattern matching and deterministic deductive closures. [SWI-Prolog, Logic Programming, Heuristics]
• probability-statistics-r — Statistical computing workflows in R covering exploratory analysis with ggplot2, Monte Carlo numerical integration, and parametric hypothesis testing. [R, ggplot2, Monte Carlo, Statistical Inference]
• hci-prototypes-and-benchmarks — Interactive mobile recipe app prototype in Figma and an experimental dense target selection interface in p5.js evaluated under Fitts's Law. [JavaScript, p5.js, Figma, HCI, UX Research]