معرفی
Joaquín Arias is an Associate Professor at King Juan Carlos University since 2025. His career includes 2020-2025 as Assistant Professor at the same institution and prior pre-doctoral research at IMDEA Software Institute (2013-2020). He has collaborated with institutions like University of Texas at Dallas and Aalto University.
Education:
- Ph.D. in Computer Science (2020, Universidad Politécnica de Madrid)
- M.Sc. in Computer Science (2015)
- B.Sc. in Computer Science (2014)
- M.Arch. in Architecture (2002)
Research interests revolve around Constraint Logic Programming, Answer Set Programming, and their applications in Event Calculus, Stream Data Analysis, and Value-Aware Systems. He has developed frameworks like s(CASP) for non-grounded reasoning and Mod TCLP for tabled constraints.
Recent articles demonstrate expertise in integrating Large Language Models with logic programming, automated legal reasoning, and real-time system verification. His work emphasizes explainability, constraint handling, and semantic coherence in AI systems.
Scientific awards include the best paper prize at CAEPIA 2021. He has contributed to proceedings as editor for ICLP workshops and authored numerous papers in TPLP, PADL, and AI & LAW.
