Where mathematical abstraction meets highly efficient logic.
I am a 4th-year student at Universidad Complutense de Madrid (UCM). My focus bridges the gap between rigorous mathematical analysis and software implementation. I am deeply passionate about Artificial Intelligence, optimization algorithms, and solving complex problems through advanced programming paradigms.
- 🕹️ B.Sc. Thesis (TFG): Developing intelligent agents for Pac-Man, running a critical comparative analysis between classical search algorithms and Reinforcement Learning models.
| Area | Technologies |
|---|---|
| Core & Systems | C/C++ (Memory management, ADTs), Python (Simulation, HPC) |
| Logic & Declarative | Haskell (Functional), Prolog, Maude (Logic programming / Algebraic specification) |
| Math & Data | Matlab, R (Numerical Analysis), LaTeX, Zotero |
A critical comparative analysis between shortest-path algorithms and machine learning approaches to solve dynamic environments.
A robust C++ library of Abstract Data Types built from scratch. Categorized implementation of linear structures, BSTs, Heaps, and Hash Tables with formal algebraic specifications and rigorous O(n) complexity analysis.
Python-based GPGPU simulation emulating Streaming Multiprocessors (SMs) and thread-level parallelism for High-Performance Computing (HPC). Features SIMT synchronization and shared memory mapping.
Implementation in Haskell to solve the Traveling Salesperson Problem (TSP). Applies advanced functional programming techniques to optimize colony behavior.
- LinkedIn: linkedin.com/in/alberto-pp
- Email: alberto.7pp@gmail.com
- Location: Torrejón de Ardoz, Madrid (Spain)