Name:Joaquin Arias

Bio:

I started my Ph.D. studies in 2015 at the Universidad Politécnica de Madrid and the at EIT-Digital Doctoral School, under the supervision of Dr. Manuel Carro.

I am enrolled as a researcher at the IMDEA Software Institute working on the extension of a rule-base high-level programming language, based on constraints and logic, and its application in reasoning over stream data.

We have designed and implemented a modular constraint system, Modular TCLP, and validated it with the integration of several constraint domains. We sketched how to apply TCLP to the analysis of stream data and detected the need to capture non-monotonic reasoning. We are collaborating with the University of Texas at Dallas in the development of s(CASP), a novel non-monotonic reasoning system that integrates tabling and constraints.

Country:Spain

Affiliation:Universidad Politécnica de Madrid and IMDEA Software Institute

Research interests:Logic Programming and Stream Data Analysis