Joaquín Arias
Associate Professor
Madrid, Community of Madrid, Spain
Summary
👤
Senior🎓
Top SchoolJoaquín Arias is an architect-turned-computer scientist who blends 20+ years of hands-on building design with an academic career in constraint- and rule-based reasoning to modernize the engineering and construction lifecycle. As an Associate Professor and former PhD researcher at IMDEA, he researches constraint logic programming and tabled CLP to make BIM models verifiable, automatable and amenable to smart contracts. He has led construction projects across Europe and prototyped a BIM-Spatial reasoner, giving him uncommon practical insight into how formal models map to on-site realities. Based in Madrid, he teaches and publishes on non-monotonic reasoning while steering applied research that connects formal methods with construction workflows. His profile uniquely combines licensed architect experience, advanced formal methods, and entrepreneurial R&D in digital transformation for the built environment.
8 years of coding experience
21 years of employment as a software developer
Innovation and Entrepreneurship (EIT Doctoral School), Organizational Leadership, Innovation and Entrepreneurship (EIT Doctoral School), Organizational Leadership at EIT Digital AlumniExpert on Property Project Management, Expert on Property Project Management at Instituto de Práctica EmpresarialArchitecture (ERASMUS Grant), Architecture (ERASMUS Grant) at RWTH Aachen UniversityPh.D. Software, System and Computation, Ph.D. Software, System and Computation at Universidad Politécnica de Madrid
Spanish, English, German, Italian
Github Skills (2)
top-down5
interpreter3
Programming languages (2)
Github contributions (5)
Xuaco/DeduccionNatural
Sep 2022 - Oct 2024
Contributions:1 PR, 23 pushes, 2 branches in 2 years 1 month
Xuaco/URJC-xx-Templates
Nov 2022 - May 2024
Contributions:2 pushes, 3 branches in 1 year 7 months
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.