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.
eduardito@dev:~/education$ git log --branches=education
Academic stages focused on formal methods, mathematics, and computing.
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.