Alberto Peña Peñalver albertitop17

Solving mathematical problems through code. Mathematician focused on CS and High-Performance Computing.

3 followers · 3 following

Torrejón de Ardoz, Madrid
03:46 (UTC +02:00)
in/alberto-pp

Block or report albertitop17

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Close all issues, pull requests, and discussions opened by this user Content in all repositories owned by your account will be closed.

Add an optional note

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Overview Repositories 8 Projects Packages Stars 2

Overview
Repositories
Projects
Packages
Stars

albertitop17/README.md

Hi there! I'm Alberto Peña 👋

🎓 Mathematician & Computer Scientist | Scholarship Student @ UCM

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.

🚀 Currently focused on:

🕹️ B.Sc. Thesis (TFG): Developing intelligent agents for Pac-Man.

🛠️ Tech Stack

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

💎 Featured Projects

👾 [Pac-Man RL: Traditional vs AI] (Work in Progress)

A critical comparative analysis between shortest-path algorithms and machine learning approaches to solve dynamic environments.

🗂️ C++ Data Structures (ADT) Library

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.

🖥️ GPU Architecture Simulation

Python-based GPGPU simulation emulating Streaming Multiprocessors (SMs) and thread-level parallelism for High-Performance Computing (HPC). Features SIMT synchronization and shared memory mapping.

🐜 Ant Colony Optimization (ACO) & Genetics

Implementation in Haskell to solve the Traveling Salesperson Problem (TSP). Applies advanced functional programming techniques to optimize colony behavior.

📈 GitHub Stats

📫 Let's Connect

LinkedIn: linkedin.com/in/alberto-pp
Email: alberto.7pp@gmail.com
Location: Torrejón de Ardoz, Madrid (Spain)

Pinned Loading

ant-colony-optimization ant-colony-optimization Public

Bio-inspired optimization: A functional approach to solving the TSP using Ant Colony Optimization in Haskell

Haskell 1
gpu-architecture-simulation gpu-architecture-simulation Public

Python-based simulation of a GPGPU architecture, emulating Streaming Multiprocessors (SMs) and thread-level parallelism for high-performance computing (HPC)

Python
cpp-data-structures cpp-data-structures Public

A robust C++ library of Abstract Data Types (ADTs) built from scratch. Features linear structures, trees, heaps, and hash tables with formal algebraic specifications and rigorous $O(n)$ complexity …

C++ 1

albertitop17 (Alberto Peña Peñalver) · GitHub