eduardito@dev:~/education$ git log --branches=education

Academic stages focused on formal methods, mathematics, and computing.

9b12fd4 edu/phd

2024 - Present

PhD in Computer Engineering

Complutense University of Madrid

  • Boolean complexity and the NC class.
  • Parallel programming and AI applications for formal computation.
2f88a01

2021 - 2023

MSc in Formal Methods in Computer Engineering

Autonomous University of Madrid

  • Thesis on models for parallel algorithm complexity.
  • Specialized in logic, verification, and theoretical computation.
000init

2017 - 2021

BSc in Mathematics

Complutense University of Madrid

  • Computing-focused track.
  • Final project on Shor's algorithm.