Curriculum Vitae
-
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.
-
Fecha inicio: 01/01/22
Fecha fin: 31/12/23
Entidad financiadora: FUNDACION IMDEA SOFTWARE
Referencia externa: 13108-21
Referencia interna: M3100Investigador/es principal/es:
Investigadores:
Fecha inicio: 01/12/22
Fecha fin: 30/09/25
Entidad financiadora: AGENCIA ESTATAL DE INVESTIGACION
Referencia externa: TED2021-131295B-C33
Referencia interna: M2883Investigador/es principal/es:
Investigadores:
- Holger Billhardt
- Dirk Sascha Ossowski
- Marin Lujak
- Joaquín Arias Herrero
- José Antonio Santos Arnaiz
- María Mar Moreno Rebato
- Alberto Fernández Isabel
- Isaac Martín de Diego
- María Teresa González de Lena Alonso
- José Antonio Rodríguez García
- Iván Bernabé Sánchez
- Marcelo Javier Karanik Leippie
- Alberto Fernández Gil
- Javier Martínez Moguerza
Investigadores o Técnicos:
- Aitor López Sánchez
- Andrés Holgado Sánchez
- Luciana Camila Fidilio Allende
- Alicia Pina Zapata
- Sara García Rodríguez
Otros colaboradores:
- Andrea Condado Gómez
- Marija Slavkovik
- Jorge Gutiérrez Cejudo
- RALF BRUNS
- María del Carmen Fernández Martínez
- SABINE BRUNS-VIETOR
- Alejandro Delgado Peribañez
- Jürgen Dunkel
- ALVARO SERRANO RODRIGO
Fecha inicio: 01/01/23
Fecha fin: 31/12/23
Entidad financiadora: UNIVERSIDAD REY JUAN CARLOS
Referencia externa:
Referencia interna: M2981Investigador/es principal/es:
Investigadores:
Fecha inicio: 01/01/19
Fecha fin: 30/09/22
Entidad financiadora: MINISTERIO DE ASUNTOS ECONOMICOS Y TRANSFORMACION DIGITAL
Referencia externa: RTI2018-095390-B-C33
Referencia interna: M2010Investigador/es principal/es:
Investigadores:
- Alberto Fernández Gil
- Holger Billhardt
- José Antonio Santos Arnaiz
- Marcelo Javier Karanik Leippie
- María Mar Moreno Rebato
- Dirk Sascha Ossowski
- Joaquín Arias Herrero
- Iván Bernabé Sánchez
- José Antonio Rodríguez García
- Marin Lujak
Investigadores o Técnicos:
Otros colaboradores:
- María del Carmen Fernández Martínez
- Roberto Centeno Sánchez
- Kendal Cousy
- Luis Peña Sánchez
Fecha inicio: 01/01/22
Fecha fin: 31/12/24
Entidad financiadora: UNIVERSIDAD REY JUAN CARLOS
Referencia externa:
Referencia interna: M3101Investigador/es principal/es:
Investigadores:
Fecha inicio: 01/12/22
Fecha fin: 30/11/25
Entidad financiadora: European commision
Referencia externa: 2022-1-IT02-KA220-HED-000090206
Referencia interna: F938Investigador/es principal/es:
Investigadores:
- Alberto Hernando García-Cervigón
- Antonio Julio López Galisteo
- Joaquín Arias Herrero
- María Pilar Martino Alba
- Elena Shorokhova
- Nuria García Manzanares
- Beatriz Soto Aranda
- María Palma Peña Jiménez
- Alberto Fernández Gil
- Patricia Carolina Bonnin Arias
- Sara Fernández Gómiz
- Miriam González Santolalla
- María Fernández de Casadevante Mayordomo
- Mario Pedrazuela Fuentes
- JAVIER Rodríguez Abengózar
- María Belén Fernández de Alarcón Roca
- Gaël Turianne Valentine Leveder-Le Pottier
- María Inmaculada Cobos Fernández
- Laura Sanz Simón
- María Medina Alcoz
- Tilman Tobias Klinge
- Natalia Candorcio Rodríguez
Otros colaboradores:
- Irene Hidalgo De la Gu�a
- Beatriz Méndez Guerrero
- María Azucena Penas Ibáñez
- Beatriz Rodríguez Cuadrado
- Susana Gala Pellicer
- Elena Gayarz�bal Heinze
- Irene Carpintero Gallego
Fecha inicio: 01/09/22
Fecha fin: 31/08/26
Entidad financiadora: AGENCIA ESTATAL DE INVESTIGACION
Referencia externa: PID2021-123673OB-C32
Referencia interna: M2818Investigador/es principal/es:
Investigadores:
- Marin Lujak
- Alberto Fernández Gil
- Dirk Sascha Ossowski
- Joaquín Arias Herrero
- María Mar Moreno Rebato
- Iván Bernabé Sánchez
- Holger Billhardt
- José Antonio Santos Arnaiz
- Marcelo Javier Karanik Leippie
- José Antonio Rodríguez García
Investigadores o Técnicos:
- Luciana Camila Fidilio Allende
- Alicia Pina Zapata
- Andrés Holgado Sánchez
- Sara García Rodríguez
- Aitor López Sánchez
Otros colaboradores:
- José Walter Hernández Pérez
- Elizabeth Sklar
- María del Carmen Fernández Martínez
- RALF BRUNS
- Jürgen Dunkel
- Kendal Cousy
- Eduardo de la Cruz Fernández
- SABINE BRUNS-VIETOR
-
- Google Scholar: hPA523AAAAAJ
- ORCID: 0000-0003-4148-311X
| Agencia | Nº documentos | Nº citas | Índice H | Q1 | D1 | IFNB | IFNESI |
|---|---|---|---|---|---|---|---|
 Web of Science |
20 | 86 | 5 | 9 | 9 | 0,44 | 0,57 |
 Scopus |
47 | 203 | 6 | 6 | 3 | 0,06 | - |
 Dialnet |
2 | - | - | - | - | - | - |
-
Acrónimo: GIA
Correo: gr_inv.gia@urjc.es
Web: AccederNúmero de investigadores: 22Número de quinquenios: 19Número de Docentia: 22Número de sexenios investigación: 18Número de sexenios transferencia: 1
Coordinador/es:
Investigadores miembros:
- Dirk Sascha Ossowski
- Holger Billhardt
- Marin Lujak
- Alberto Fernández Gil
- Iván Bernabé Sánchez
- José Antonio Rodríguez García
- Joaquín Arias Herrero
- Marcelo Javier Karanik Leippie
Investigadores colaboradores:
Investigadores/Técnicos de apoyo contratados:
Otros colaboradores:
- Jürgen Dunkel
- Roberto Centeno Sánchez
- Ramón Hermoso Traba
- António Manuel Ribeiro Pereira Da Costa
- Eduardo de la Cruz Fernández
- Sara García Rodríguez
- María del Carmen Fernández Martínez
- ALICIA PINA ZAPATA
- LIDICE VICTORIA HAZ LOPEZ
- RALF BRUNS