-
Acrónimo: GIA
Correo: gr_inv.gia@urjc.es
Web: AccederNúmero de investigadores: 17Número de quinquenios: 20Número de Docentia: 18Número de sexenios investigación: 16Número de sexenios transferencia: 1
Coordinador/es:
Investigadores:
- Dirk Sascha Ossowski
- Holger Billhardt
- Alberto Fernández Gil
- José Antonio Santos Arnaiz
- María Mar Moreno Rebato
- José Antonio Rodríguez García
- Joaquín Arias Herrero
Investigadores o Técnicos:
Otros:
- Jürgen Dunkel
- Roberto Centeno Sánchez
- Ramón Hermoso Traba
- Marin Lujak
- Qasim Khalid .
- José Santiago Pérez Sotelo
- Sandra Timón Mayo
- Óscar Sánchez Sánchez
- Carlos Gustavo Ceacero Molina
-
My research focuses on the extension of a rule-base high level programming language, based on constraints and logic, and its application in reasoning over stream data.
I have been working at the IMDEA Software Institute, under the supervision of Dr. Manuel Carro. We have designed and implemented a modular constraint system, Modular TCLP, and validated it with the integration of several constraint domains. We have used Modular TCLP to reimplement the state-of-the-art abstract interpreter PLAI increasing efficiency with shorter coding (1/3 of the previous version). We then sketched out how to apply TCLP to stream data analysis and detected the need to capture non-monotonic reasoning.
Since my stay at the University of Texas at Dallas in 2017, I have collaborated with them in the development of s(CASP), a novel non-monotonic reasoning system that integrates answer set programming and constraints. We have applied s(CASP) in several applications, e.g., to model and reason using event calculus.
-
Grado
PLAN ASIGNATURA (2321) DOBLE G. DISEÑO Y DESARR. DE VIDEOJUEGOS - ING. DE COMPUTADORES (MOSTOLES) ARQUITECTURA DE COMPUTADORES (2321) DOBLE G. DISEÑO Y DESARR. DE VIDEOJUEGOS - ING. DE COMPUTADORES (MOSTOLES) ESTRUCTURA DE COMPUTADORES (2321) DOBLE G. DISEÑO Y DESARR. DE VIDEOJUEGOS - ING. DE COMPUTADORES (MOSTOLES) MULTIMEDIA (2321) DOBLE G. DISEÑO Y DESARR. DE VIDEOJUEGOS - ING. DE COMPUTADORES (MOSTOLES) TECNOLOGIA DE COMPUTADORES (2243) DOBLE GRADO EN CRIMINOLOGIA E INGENIERIA INFORMATICA (VICALVARO) INTERACCION PERSONA-ORDENADOR (2243) DOBLE GRADO EN CRIMINOLOGIA E INGENIERIA INFORMATICA (VICALVARO) ORGANIZACION Y ARQUITECTURA DE COMPUTADORES (2113) DOBLE GRADO EN ING INFORMATICA E ING DE COMPUTADORES (MOSTOLES) ARQUITECTURA DE COMPUTADORES (2113) DOBLE GRADO EN ING INFORMATICA E ING DE COMPUTADORES (MOSTOLES) ESTRUCTURA DE COMPUTADORES (2113) DOBLE GRADO EN ING INFORMATICA E ING DE COMPUTADORES (MOSTOLES) TECNOLOGIA DE COMPUTADORES (2097) DOBLE GRADO EN ING. INFORMATICA Y ADMON. Y DIRECCION DE EMPRESAS (MOSTOLES) INTERACCION PERSONA-ORDENADOR (2073) DOBLE GRADO EN ING. INFORMATICA Y ADMON Y DIRECCION DE EMPRESAS (VICALVARO) INTERACCION PERSONA-ORDENADOR (2073) DOBLE GRADO EN ING. INFORMATICA Y ADMON Y DIRECCION DE EMPRESAS (VICALVARO) ORGANIZACION Y ARQUITECTURA DE COMPUTADORES (2114) DOBLE GRADO EN INGENIERIA INFORMATICA E INGENIERIA DEL SOFTWARE (MOSTOLES) INTERACCION PERSONA-ORDENADOR (2117) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) I INTERACCION PERSONA-ORDENADOR (2315) DOBLE GRADO EN INGENIERIA INFORMATICA Y MATEMATICAS (MOSTOLES) II INTERACCION PERSONA-ORDENADOR (2269) DOBLE GRADO ING. INFORMATICA PRESENCIAL Y ADE (A DISTANCIA) (VICALVARO) INTERACCION PERSONA-ORDENADOR (2269) DOBLE GRADO ING. INFORMATICA PRESENCIAL Y ADE (A DISTANCIA) (VICALVARO) ORGANIZACION Y ARQUITECTURA DE COMPUTADORES (2265) GRADO EN DISEÑO Y DESARROLLO DE VIDEOJUEGOS (MADRID) MULTIMEDIA (2175) GRADO EN DISEÑO Y DESARROLLO DE VIDEOJUEGOS (MOSTOLES) MULTIMEDIA (2032) GRADO EN INGENIERIA DE COMPUTADORES (MOSTOLES) ARQUITECTURA DE COMPUTADORES (2032) GRADO EN INGENIERIA DE COMPUTADORES (MOSTOLES) ESTRUCTURA DE COMPUTADORES (2032) GRADO EN INGENIERIA DE COMPUTADORES (MOSTOLES) TECNOLOGIA DE COMPUTADORES (2285) GRADO EN INGENIERIA DE LA CIBERSEGURIDAD (MOSTOLES) FUNDAMENTOS FISICOS DE LA INFORMATICA (2033) GRADO EN INGENIERIA INFORMATICA (MOSTOLES) INTERACCION PERSONA-ORDENADOR (2059) GRADO EN INGENIERIA INFORMATICA (VICALVARO) INTERACCION PERSONA-ORDENADOR (2059) GRADO EN INGENIERIA INFORMATICA (VICALVARO) ORGANIZACION Y ARQUITECTURA DE COMPUTADORES
-
No existe información.
-
- Google Scholar: hPA523AAAAAJ
- ORCID: 0000-0003-4148-311X
-
Publicaciones