albertitop17 (Alberto Peña Peñalver) · GitHub
Skip to content
View albertitop17's full-sized avatar
3 followers · 3 following
  • Torrejón de Ardoz, Madrid
  • 23:39 (UTC +02:00)
  • LinkedIn 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.

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
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

Alberto's GitHub stats

📫 Let's Connect

Pinned Loading

  1. 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

  2. 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

  3. 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