Adrián Riesco
Vicedecano De Ordenación Académica E Innovación Docente at Facultad de Informática (Universidad Complutense de Madrid)
Madrid, Community of Madrid, Spain
Summary
👤
Senior🎓
Top SchoolAdrián Riesco is an associate professor and academic leader at Universidad Complutense de Madrid with 16 years of experience advancing computer science education and research. As Vicedecano de Ordenación Académica e Innovación Docente and former coordinator of the Master's program, he blends curriculum design, pedagogical innovation, and departmental governance. His research specialties include rewriting logic, metaprogramming, debugging, and practical work with Maude, bringing formal methods into applied teaching and tooling. He progressed through academic ranks from lecturer to full professor while earning his doctorate at the same institution, reflecting deep institutional knowledge and long-term commitment. Colleagues value his ability to translate theoretical formalisms into debuggable, teachable artifacts that improve both student learning and research reproducibility. Based in Madrid, he combines rigorous scholarship with hands-on mentoring and a knack for making complex semantics accessible.
16 years of coding experience
3 years of employment as a software developer
Doctorado, Computer Science, Doctorado, Computer Science at Facultad de Informática (Universidad Complutense de Madrid)
Japanese, Spanish, English
Github Skills (17)
tlaplus9
logic9
heterogeneous9
homotopy-type-theory8
theorem-proving8
model-checking8
coq8
dependent-types8
agda8
translation8
proof-assistant7
discriminated-unions1
java1
inheritance1
javascript1
Programming languages (4)
Github contributions (5)
ariesco/CafeInMaude
Mar 2015 - Feb 2022
Translation from CafeOBJ to Maude
Contributions:1 review, 162 commits, 7 PRs in 6 years 11 months
translationmaudei18n
ariesco/MUnit
Feb 2016 - Mar 2018
Contributions:60 commits, 58 pushes, 1 branch in 2 years
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.