Este fichero electrónico (PDF) contiene incrustada la tecnología CVN (CVN-XML). La tecnología CVN de este fichero permite exportar e importar los datos
curriculares desde y hacia cualquier base de datos compatible. Listado de Bases de Datos adaptadas disponible en http://cvn.fecyt.es/
CARLOS GREGORIORODRIGUEZGenerado desde: Universidad Complutense de MadridFecha del documento: 03/03/2020v 1.3.063480170cc51a47427c194ee8d7b0ce7
63480170cc51a47427c194ee8d7b0ce7
2
CARLOS GREGORIO RODRIGUEZ
Apellidos: GREGORIO RODRIGUEZNombre: CARLOSDNI: 52182754DFecha de nacimiento: 11/02/1970Sexo: HombreNacionalidad: EspañaPaís de nacimiento: EspañaTeléfono fijo: (034) 691573034Correo electrónico: [email protected]
Situación profesional actual
Entidad empleadora: Universidad Complutensede Madrid
Tipo de entidad: Universidad
Departamento: SISTEMAS INFORMATICOS Y COMPUTACION, F. ESTUDIOS ESTADISTICOSCategoría profesional: Profesor Titular deUniversidad
Gestión docente (Sí/No): Si
Fecha de inicio: 02/11/2002Modalidad de contrato: Funcionario/a Régimen de dedicación: Tiempo completoFunciones desempeñadas: Profesor Titular de Universidad
Cargos y actividades desempeñados con anterioridad
Entidad empleadora Categoría profesional Fechade inicio
1 Universidad Complutense de Madrid TITULAR DE ESCUELA UNIVERSITARIA 20/11/20022 Universidad Complutense de Madrid PROFESOR ASOCIADO TIPO II 15/10/19973 Universidad Complutense de Madrid AYUDANTE 20/12/19954 Universidad Complutense de Madrid BECARIO DEL PROGRAMA NACIONAL
DE FORMACIÓN DE PERSONALINVESTIGADOR (FPI)
01/01/1995
1 Entidad empleadora: Universidad Complutense de MadridCategoría profesional: TITULAR DE ESCUELAUNIVERSITARIA
Gestión docente (Sí/No): Si
Fecha de inicio-fin: 20/11/2002 - 25/09/2009 Duración: 6 años - 10 meses - 11días
Modalidad de contrato: Funcionario/aFunciones desempeñadas: TITULAR DE ESCUELA UNIVERSITARIA
2 Entidad empleadora: Universidad Complutense de MadridCategoría profesional: PROFESOR ASOCIADOTIPO II
Gestión docente (Sí/No): Si
63480170cc51a47427c194ee8d7b0ce7
3
Fecha de inicio-fin: 15/10/1997 - 20/11/2002 Duración: 5 años - 1 mes - 7 díasFunciones desempeñadas: PROFESOR ASOCIADO TIPO II
3 Entidad empleadora: Universidad Complutense de MadridCategoría profesional: AYUDANTE Gestión docente (Sí/No): SiFecha de inicio-fin: 20/12/1995 - 15/10/1997 Duración: 1 año - 10 mesesFunciones desempeñadas: AYUDANTE
4 Entidad empleadora: Universidad Complutense de MadridCategoría profesional: BECARIO DELPROGRAMA NACIONAL DE FORMACIÓN DEPERSONAL INVESTIGADOR (FPI)
Gestión docente (Sí/No): No
Fecha de inicio-fin: 01/01/1995 - 20/12/1995 Duración: 11 meses - 23 díasFunciones desempeñadas: BECARIO DEL PROGRAMA NACIONAL DE FORMACIÓN DEPERSONAL INVESTIGADOR (FPI)
63480170cc51a47427c194ee8d7b0ce7
4
Formación académica recibida
Titulación universitaria
Doctorados
Programa de doctorado: MatemáticasEntidad de titulación: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad titulación: EspañaFecha de titulación: 01/07/2009Título de la tesis: Entendiendo las semánticas de procesosDirector/a de tesis: DAVID DE FRUTOS ESCRIGCalificación obtenida: sobresaliente cum laude
Otra formación universitaria de posgrado
Tipo de formación: MásterTitulación de posgrado: Formación del ProfesoradoCiudad entidad titulación: EspañaEntidad de titulación: Universidad Complutense de MadridFecha de titulación: 01/07/1994
Formación especializada, continuada, técnica, profesionalizada, de reciclaje y actualización(distinta a la formación académica reglada y a la sanitaria)
1 Título de la formación: El proyecto docente en la universidadCiudad entidad titulación: MADRID, EspañaEntidad de titulación: Universidad Complutense de MadridResponsable de la formación: Instituto de Ciencias de la Educación de la UCMFecha de finalización: 31/12/2001 Duración en horas: 24 horas
2 Título de la formación: Summer School in Semantics of ComputationCiudad entidad titulación: Aarhus, DinamarcaResponsable de la formación: Basic Research in Computer Science (BRICS)Fecha de finalización: 07/05/1999 Duración en horas: 40 horas
3 Título de la formación: School on Specification, Refinement, and VerificationCiudad entidad titulación: Turku, FinlandiaResponsable de la formación: Turku Centre for Computer Science (TUCS)Fecha de finalización: 21/08/1998 Duración en horas: 75 horas
63480170cc51a47427c194ee8d7b0ce7
5
4 Título de la formación: IC-EATCS Annual Advanced School Models and Paradigms of ConcurrencyCiudad entidad titulación: Udine, ItaliaResponsable de la formación: Italian Chapter of the European Association for Theoretical Computer Science(IC-EATCS) y Centre International des Sciences Mécaniques (CISM)Fecha de finalización: 19/09/1997 Duración en horas: 35 horas
5 Título de la formación: School on Computational and Syntactic MethodsCiudad entidad titulación: Mierlo, HolandaResponsable de la formación: Institute for Programming Research and Algorithms (IPA)Fecha de finalización: 22/08/1997 Duración en horas: 70 horas
6 Título de la formación: Marktoberdorf Summer School on Mathematical Methods in Program DevelopmentCiudad entidad titulación: Marktoberdorf, AlemaniaResponsable de la formación: Advanced Study Institute (NATO) y Institut für Informatik Technische UniversitätMünchenFecha de finalización: 11/08/1996 Duración en horas: 90 horas
7 Título de la formación: Certificado de Aptitud PedagógicaCiudad entidad titulación: MADRID, EspañaEntidad de titulación: Universidad Complutense de MadridResponsable de la formación: Instituto de Ciencias de la Educación de la UCMFecha de finalización: 01/06/1994 Duración en horas: 125 horas
Conocimiento de idiomas
Idioma Habla Lee EscribeFrancés Regular Regular RegularInglés Bien Bien Bien
Actividad docente
Dirección de tesis doctorales y/o proyectos fin de carrera
1 Título del trabajo: Predicción del parámetro de evolución de pacientes utilizando algoritmos de Machine Learningen campimetríasTipo de proyecto: Trabajo fin de MasterEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Ana Granados BolañosFecha de defensa: 06/11/2019
2 Título del trabajo: Análisis de Campimetrías Visuales mediante Estadística EspacialTipo de proyecto: Trabajo fin de MasterCodirector/a tesis: MARIA DEL MAR FENOY MUÑOZEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, España
63480170cc51a47427c194ee8d7b0ce7
6
Alumno/a: Antón Lorenzo GarcíaCalificación obtenida: 9Fecha de defensa: 25/09/2019
3 Título del trabajo: Resolución de Entidades Paralela con SparkTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Sergio Robles AmievaCalificación obtenida: 10Fecha de defensa: 19/09/2019
4 Título del trabajo: Diseño e implementación del proceso de extracción, visualización y análisis de datos onlineTipo de proyecto: Trabajo fin de MasterEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Elena Lopez AriasFecha de defensa: 10/07/2019
5 Título del trabajo: Análisis de campimetrías visuales con algoritmos de machine learningTipo de proyecto: Trabajo fin de MasterEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: YuanXu JiangFecha de defensa: 15/11/2018
6 Título del trabajo: Correlación estructura-función del ojo en enfermos de glaucoma. Tomografía de coherenciaóptica vs Perimetría blanco-blanco.Tipo de proyecto: Trabajo fin de MasterEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Julio César Valdivia MarínFecha de defensa: 15/11/2017
7 Título del trabajo: Visión artificial, reconocimiento automático de galaxias y estrellas en imágenes astronómicasTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: VICTOR RODRIGO GUDIELFecha de defensa: 04/10/2016
8 Título del trabajo: Técnicas de detección de galaxias en imágenes tomadas por telescopios por medio deComputer VisionTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, España
63480170cc51a47427c194ee8d7b0ce7
7
Alumno/a: Miguel Ardura ZuritaFecha de defensa: 03/10/2016
9 Título del trabajo: Semántica de Simulación para Relaciones de ConformidadTipo de proyecto: Tesis DoctoralCodirector/a tesis: LUIS FERNANDO LLANA DIAZEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: RAFAEL MARTINEZ TORRESCalificación obtenida: sobresaliente cum laudeFecha de defensa: 30/11/2015
10 Título del trabajo: Visión Computariada aplicada a Tomografías de Coherencia ÓpticaTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Miguel Madrid MencíaCalificación obtenida: SobresalienteFecha de defensa: 30/06/2015
11 Título del trabajo: Computer Vision aplicada al análisis de heridas quirúrgicasTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Daniel Novillo VillarejoCalificación obtenida: SobresalienteFecha de defensa: 27/06/2014
12 Título del trabajo: ;Computer Vision aplicado al análisis del comportamiento de avispas en nidosTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Martín Devora PajaresCalificación obtenida: SobresalienteFecha de defensa: 27/06/2014
13 Título del trabajo: Redes de Topología Variable: propiedades y aplicaciones.Tipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Raúl Muñoz FuentesCalificación obtenida: SobresalienteFecha de defensa: 10/07/2013
63480170cc51a47427c194ee8d7b0ce7
8
14 Título del trabajo: Visión Computarizada Aplicada a la Identificación de MariposasTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Gema Valdés BerlinchesCalificación obtenida: SobresalienteFecha de defensa: 08/07/2013
15 Título del trabajo: Determinación de posicionamiento de avispas en enjambres mediante el estudio automátizadode vídeosTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Syrus Akbary NietoCalificación obtenida: SobresalienteFecha de defensa: 10/07/2012
16 Título del trabajo: Detección automática de escenas y personajes con técnicas de visión artificialTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Guillermo Monge del OlmoCalificación obtenida: SobresalienteFecha de defensa: 10/07/2012
17 Título del trabajo: Detección y análisis de heridas quirúrgicas en imágenesTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Alfonso Valencia RementeríaCalificación obtenida: SobresalienteFecha de defensa: 10/07/2012
18 Título del trabajo: Algoritmos de planificación de movimientos en robots autónomosTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Oleg ZaytsevCalificación obtenida: SobresalienteFecha de defensa: 10/07/2011
19 Título del trabajo: Modelado y verificación de sistemas concurrentes con Cálculo de ProcesosTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: SERGIO ARBEO RODRIGUEZ
63480170cc51a47427c194ee8d7b0ce7
9
Calificación obtenida: SobresalienteFecha de defensa: 09/07/2010
20 Título del trabajo: Modelado y verificación de sistemas concurrentes con Cálculo de ProcesosTipo de proyecto: Proyecto Final de CarreraEntidad de realización: Universidad Complutense deMadrid
Tipo de entidad: Universidad
Ciudad entidad realización: Madrid, Comunidad de Madrid, EspañaAlumno/a: Pablo Pozo BlázquezCalificación obtenida: SobresalienteFecha de defensa: 09/07/2010
Experiencia científica y tecnológica
Actividad científica o tecnológica
Proyectos de I+D+i financiados en convocatorias competitivas de Administraciones oentidades públicas y privadas
1 Nombre del proyecto: FORmal models and Technologies for Emerging applicationsModalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Autonómica
Nombres investigadores principales (IP, Co-IP,...): MANUEL NUÑEZ GARCIANº de investigadores/as: 13Entidad/es financiadora/s:Comunidad de Madrid Tipo de entidad: Organismo, Otros
Fecha de inicio-fin: 01/01/2019 - 31/12/2022 Duración: 4 añosCuantía total: 731.400
2 Nombre del proyecto: MODELADO FORMAL Y METODOS AVANZADOS DE TESTING. APLICACIONESA MEDICINA YSISTEMAS COMPUTACIONALESModalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Nacional
Nombres investigadores principales (IP, Co-IP,...): MANUEL NUÑEZ GARCIA; MARIA DE LASMERCEDES GARCIA MERAYONº de investigadores/as: 10Entidad/es financiadora/s:MINISTERIO DE CIENCIA E INNOVACIÓN
Fecha de inicio-fin: 01/01/2019 - 31/12/2021 Duración: 3 añosCuantía total: 95.106
3 Nombre del proyecto: Desarrollo y Análisis formal de sistemas complejos en contextos DistribuidOS:fundamentos, herramientas y aplicaciones (DArDOS)Modalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Nacional
Entidad de realización: Universidad Complutensede Madrid
Tipo de entidad: Universidad
63480170cc51a47427c194ee8d7b0ce7
10
Ciudad entidad realización: Comunidad de Madrid, EspañaNombres investigadores principales (IP, Co-IP,...): MANUEL NUÑEZ GARCIANº de investigadores/as: 7Entidad/es financiadora/s:Ministerio de Economía y Competitividad. Dirección General de Investigación Científica y Técnica
Fecha de inicio-fin: 01/01/2016 - 31/12/2019 Duración: 4 añosCuantía total: 100,43
4 Nombre del proyecto: TÉCNICAS DE VISIÓN COMPUTERIZADA Y RECONSTRUCCIÓN 3DAPLICADAS AL ESTUDIO DE LA CABEZA DEL NERVIO ÓPTICO Y ENFERMEDADES ASOCIADASModalidad de proyecto: De investigación y desarrollo incluida traslacionalNombres investigadores principales (IP, Co-IP,...): CARLOS GREGORIO RODRIGUEZ; JORGECARAVANTES TORTAJADANº de investigadores/as: 10Fecha de inicio-fin: 22/12/2016 - 22/12/2019 Duración: 3 años
5 Nombre del proyecto: SICOMORo-CM: desarrollo de SIstemas COnfiables mediante MOdelos yherRamientas avanzadasModalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Autonómica
Nombres investigadores principales (IP, Co-IP,...): MANUEL NUÑEZ GARCIANº de investigadores/as: 8Entidad/es financiadora/s:Comunidad de Madrid Tipo de entidad: Organismo, Otros
Fecha de inicio-fin: 01/10/2014 - 30/09/2018 Duración: 4 años
6 Nombre del proyecto: ESpecificación y Testing de sistemas altamente DIstribuidOs (ESTuDIO)Modalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Nacional
Nombres investigadores principales (IP, Co-IP,...): MANUEL NUÑEZ GARCIANº de investigadores/as: 9Entidad/es financiadora/s:Ministerio de Economía y Competitividad. Dirección General de Investigación Científica y Técnica
Fecha de inicio-fin: 01/01/2013 - 31/12/2015 Duración: 3 años - 4 díasCuantía total: 42.108
7 Nombre del proyecto: Formal Methods for the Development and Evaluation of Sustainable SystemsModalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Internacional no UE
Nombres investigadores principales (IP, Co-IP,...): DAVID DE FRUTOS ESCRIGNº de investigadores/as: 10Fecha de inicio-fin: 01/04/2014 - 30/11/2015 Duración: 1 año - 8 meses - 3 días
8 Nombre del proyecto: Implementación y puesta en práctica de técnicas de evaluacion masiva, evaluaciónpor pares, y autoevaluación para MoocsModalidad de proyecto: De investigación y desarrollo incluida traslacionalNombres investigadores principales (IP, Co-IP,...): CARLOS GREGORIO RODRIGUEZNº de investigadores/as: 5Entidad/es financiadora/s:Universidad Complutense de Madrid Tipo de entidad: Universidad
63480170cc51a47427c194ee8d7b0ce7
11
Fecha de inicio-fin: 16/03/2014 - 16/11/2014 Duración: 8 meses - 5 díasCuantía total: 1.125
9 Nombre del proyecto: Advanced methodologies and tools for testing and web servicesModalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Nacional
Nombres investigadores principales (IP, Co-IP,...): MANUEL NUÑEZ GARCIANº de investigadores/as: 9Entidad/es financiadora/s:MINISTERIO DE CIENCIA E INNOVACIÓN
Fecha de inicio-fin: 01/01/2010 - 31/12/2012 Duración: 3 años
10 Nombre del proyecto: MÉTODOS AVANZADOS DE TESTINGModalidad de proyecto: De investigación y desarrollo incluida traslacionalNombres investigadores principales (IP, Co-IP,...): ISMAEL RODRIGUEZ LAGUNANº de investigadores/as: 17Entidad/es financiadora/s:Universidad Complutense de Madrid Tipo de entidad: Universidad
Fecha de inicio-fin: 01/01/2009 - 31/12/2009 Duración: 1 año - 4 díasCuantía total: 19.000
11 Nombre del proyecto: FUNDAMENTOS Y APLICACIONES DEL TESTINGModalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Nacional
Nombres investigadores principales (IP, Co-IP,...): MANUEL NUÑEZ GARCIANº de investigadores/as: 16Entidad/es financiadora/s:MINISTERIO DE CIENCIA E INNOVACIÓN
Fecha de inicio-fin: 01/10/2006 - 30/09/2009 Duración: 3 añosCuantía total: 162.900
12 Nombre del proyecto: Testing y evaluación del rendimiento: modelos y aplicaciones a sistemasmulti-agente.Modalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Nacional
Nombres investigadores principales (IP, Co-IP,...): MANUEL NUÑEZ GARCIANº de investigadores/as: 10Entidad/es financiadora/s:MINISTERIO DE CIENCIA E INNOVACIÓN
Fecha de inicio-fin: 01/05/2003 - 30/04/2006 Duración: 3 añosCuantía total: 95.200
13 Nombre del proyecto: AMEVA: Desarrollo formal de sistemas basados en agentes móviles y evaluaciónde rendimientosModalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Nacional
Nombres investigadores principales (IP, Co-IP,...): DAVID DE FRUTOS ESCRIGNº de investigadores/as: 14Entidad/es financiadora/s:MINISTERIO DE CIENCIA E INNOVACIÓN
63480170cc51a47427c194ee8d7b0ce7
12
Fecha de inicio-fin: 28/12/2000 - 27/12/2003 Duración: 3 años - 4 díasCuantía total: 63.106,27
14 Nombre del proyecto: DESARROLLO FORMAL DE SISTEMAS DISTRIBUIDOS.Modalidad de proyecto: De investigación y desarrollo incluida traslacionalNombres investigadores principales (IP, Co-IP,...): DAVID DE FRUTOS ESCRIGNº de investigadores/as: 10Entidad/es financiadora/s:MINISTERIO DE CIENCIA E INNOVACIÓN
Fecha de inicio-fin: 01/08/1997 - 31/07/2000 Duración: 3 añosCuantía total: 63.106,27
15 Nombre del proyecto: Edén: Desarrollo de un Lenguaje Funcional-ConcurrenteModalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Nacional
Nombres investigadores principales (IP, Co-IP,...): RICARDO PEÑA MARINº de investigadores/as: 10Entidad/es financiadora/s:Comunidad de Madrid Tipo de entidad: Organismo, Otros
Fecha de inicio-fin: 10/03/1997 - 10/03/1999 Duración: 2 añosCuantía total: 120.202,42
Contratos, convenios o proyectos de I+D+i no competitivos con Administraciones o entidadespúblicas o privadas
Nombre del proyecto: Asesoramiento sobre algoritmos para cálcular la fiabilidad y la disponibilidad desistemas complejos basados en: técnicas de Montecarlo, distribuciones Weibull y similares, y estimadoresKaplan-Meier.Modalidad de proyecto: De investigación ydesarrollo incluida traslacional
Ámbito geográfico: Nacional
Grado de contribución: Investigador/aNombres investigadores principales (IP, Co-IP,...): CARLOS GREGORIO RODRIGUEZNº de investigadores/as: 2Fecha de inicio: 01/02/2020 Duración: 4 meses
63480170cc51a47427c194ee8d7b0ce7
13
Actividades científicas y tecnológicas
Producción científica
Publicaciones, documentos científicos y técnicos
1 CARLOS GREGORIO RODRIGUEZ. Como generar y gestionar el big data. Sociedad Española de Oftalmología,26/09/2019. ISBN 978-84-89085-71-8Depósito legal: M-27576-2019Tipo de producción: Capítulos de libros Tipo de soporte: LibroPosición de firma: 1
2 LUCA ACETO; IGNACIO FABREGAS ALFARO; CARLOS GREGORIO RODRIGUEZ; ANNA INGOLFSDOTTIR.Logical characterisations, rule formats and;compositionality for input-output conformance;simulation. Journal ofLogical and Algebraic Methods in Programming. 19/03/2019. ISSN 2352-2208Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 3
3 JOSE LUIS BRITA-PAJA SEGOVIANO; CARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ;CRISTOBAL PAREJA FLORES; ADRIAN RIESCO RODRIGUEZ. Introducing MOOC-like methodologies ina face-to-face undergraduate course: a detailed case study. Interactive Learning Environments. pp. 15 - 32.(Holanda): 01/01/2019. ISSN 1049-4820Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 2
4 CARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ; RAFAEL MARTINEZ TORRES. Anaxiomatic semantics for iocos_ conformance relation. Journal of Logical and Algebraic Methods in Programming.100, pp. 152 - 184. 01/11/2018. ISSN 2352-2208Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
5 CARLOS GREGORIO RODRIGUEZ; LUCA ACETO; IGNACIO FABREGAS ALFARO; ANNA INGOLFSDOTTIR.Logical Characterisations and Compositionality of Input-Output Conformance Simulation. Lecture Notes inComputer Science. 10139, pp. 37 - 48. 17/01/2017. ISSN 0302-9743Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
6 CARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ; RAFAEL MARTINEZ TORRES. ExtendingmCRL2 with ready simulation and iocos input-output conformance simulation. Symposium on Applied Computing.2, pp. 1781 - 1788. 13/04/2015. ISSN ISBN 978-1-4503-3196-8Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
7 CARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ; RAFAEL MARTINEZ TORRES. ExtendingmCRL2 with ready simulation and iocos input-output conformance simulation. Association for ComputingMachinery, 13/04/2015. ISBN 978-1-4503-3196-8Tipo de producción: Capítulos de libros Tipo de soporte: LibroPosición de firma: 1
63480170cc51a47427c194ee8d7b0ce7
14
8 CARLOS GREGORIO RODRIGUEZ; LUCA ACETO; ANNA INGOLFSDOTTIR; DAVID DE FRUTOS ESCRIG.Axiomatizing weak simulation semantics over BCCSP. Theoretical Computer Science. pp. 42 - 71. (Holanda):05/06/2014. ISSN 0304-3975Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
9 CARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ; RAFAEL MARTINEZ TORRES.Effectiveness for Input Output Conformance Simulation iocos. Lecture Notes in Computer Science. pp. 100 - 116.01/06/2014. ISSN 0302-9743Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
10 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG; MIGUEL PALOMINO TARJUELO; DAVIDROMERO HERNANDEZ. Unifying the linear time-branching time spectrum of strong process semantics. LogicalMethods in Computer Science. 9, pp. 1 - 71. 26/06/2013. ISSN 1860-5974Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
11 CARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ; RAFAEL MARTINEZ TORRES.Input-Output Conformance Simulation (iocos) for Model Based Testing. Lecture Notes in Computer Science. 7892,pp. 114 - 129. 03/06/2013. ISSN 0302-9743Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
12 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG; ANNA INGOLFSDOTTIR; LUCA ACETO. TheEquational Theory of Weak Complete Simulation Semantics over BCCSP. Lecture Notes in Computer Science.7147, pp. 141 - 152. 31/01/2012. ISSN 0302-9743Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
13 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG; ANNA INGOLFSDOTTIR; LUCA ACETO.Axiomatizing Weak Ready Simulation Semantics over BCCSP.Lecture Notes in Computer Science. 6916, pp. 7 -24. 30/09/2011. ISSN 0302-9743Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
14 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG; LUCA ACETO; ANNA INGOLFSDOTTIR.Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet.Information Processing Letters. 9, pp. 408 - 413. (Holanda): 22/02/2011. ISSN 0020-0190Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
15 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG; MIGUEL PALOMINO TARJUELO. On theunification of process semantics: equational semantics. Electronic Notes in Theoretical Computer Science. pp. 243- 267. (Holanda): 08/08/2009. ISSN 1571-0661Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
16 DAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ; MIGUEL PALOMINO TARJUELO. Readyto preorder: an algebraic and general proof. Journal of Logic and Algebraic Programming. 78, pp. 539 - 551.(Holanda): 01/08/2009. ISSN 1567-8326Tipo de producción: Artículo Tipo de soporte: Revista
63480170cc51a47427c194ee8d7b0ce7
15
Posición de firma: 2
17 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG. (Bi)simulations up-to characterise processsemantics. Information and Computation. 207, pp. 146 - 170. (Estados Unidos de América): 28/02/2009. ISSN0890-5401Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
18 DAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ; MIGUEL PALOMINO TARJUELO. On theunification of process semantics: observational semantics. Lecture Notes in Computer Science. 5404, pp. 279 -290. 01/01/2009. ISSN 0302-9743Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 2
19 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG. Universal Coinductive Characterisations ofProcess Semantics. IFIP International Federation for Information Processing. 273, pp. 397 - 412. 01/09/2008. ISSN1571-5736Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
20 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG. Constrained Simulations, Nested SimulationSemantics and Counting Bisimulations. Electronic Notes in Theoretical Computer Science. 206, pp. 41 - 58.(Holanda): 30/04/2008. ISSN 1571-0661Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
21 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG; MIGUEL PALOMINO TARJUELO.Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. Electronic Notes inTheoretical Computer Science. 212, pp. 149 - 162. (Holanda): 30/04/2008. ISSN 1571-0661Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
22 DAVID DE FRUTOS ESCRIG; FERNANDO ROSA VELARDO; CARLOS GREGORIO RODRIGUEZ. NewBisimulation Semantics for Distributed Systems. Lecture Notes in Computer Science. 4574, pp. 143 - 159.07/07/2007. ISSN 0302-9743Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 3
23 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG. Simulations Up-to and Canonical Preorders.Electronic Notes in Theoretical Computer Science. 192, pp. 13 - 28. (Holanda): 30/06/2007. ISSN 1571-0661Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
24 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG. Process Equivalences As GlobalBisimulations. JOURNAL OF UNIVERSAL COMPUTER SCIENCE. 12, pp. 1521 - 1550. 30/11/2006. ISSN0948-695XTipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
25 DAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ. Process equivalences as global bisimulations.JOURNAL OF UNIVERSAL COMPUTER SCIENCE. 12, pp. 1521 - 1550. 01/01/2006. ISSN 0948-695XTipo de producción: Artículo Tipo de soporte: Revista
63480170cc51a47427c194ee8d7b0ce7
16
Posición de firma: 2
26 JOSE MIGUEL CLEVA MILLOR; CARLOS GREGORIO RODRIGUEZ; FERNANDO ROSA VELARDO. Uncampus virtual alternativo. 01/10/2005. ISBN 84-7491-787-5Tipo de producción: Capítulos de libros Tipo de soporte: LibroPosición de firma: 2
27 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG. Bisimulations Up-to for the LinearTime-Branching Time Spectrum. Lecture Notes in Computer Science. 3653, pp. 278 - 292. 31/08/2005. ISSN0302-9743Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
28 CARLOS GREGORIO RODRIGUEZ; DAVID DE FRUTOS ESCRIG. Preserving Contexts for Soft ConformanceRelation. Lecture Notes in Computer Science. 3395, pp. 33 - 48. 31/05/2005. ISSN 0302-9743Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
29 CARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ; RAQUEL MARTÍNEZ UNANUE; PEDROPALAO GOSTANZA; CRISTOBAL PAREJA FLORES; J. ÁNGEL VELÁZQUEZ ITURBIDE. A system to generateelectronic books on programming exercises. Electronic Library. 20, pp. 314 - 321. (Reino Unido): 01/12/2002. ISSN0264-0473Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
30 CARLOS GREGORIO RODRIGUEZ. Ergotracer: An Internet User Behaviour Tracer. Lecture Notes in ComputerScience. 2346, pp. 121 - 132. 30/06/2002. ISSN 0302-9743Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
31 CARLOS GREGORIO RODRIGUEZ; RAQUEL MARTÍNEZ UNANUE; ÁNGEL HERRANZ NIEVA. ComputingCurricula 2001. Novatica. 157, pp. 47 - 54. 30/05/2002. ISSN 0211-2124Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
32 CARLOS GREGORIO RODRIGUEZ; CRISTOBAL PAREJA FLORES; LUIS FERNANDO LLANA DIAZ; PEDROPALAO GOSTANZA; RAQUEL MARTÍNEZ UNANUE. Ejercicios de Programación Creativos y Recreativos enC++. 01/02/2002. ISBN 8420532118Tipo de producción: Libro Tipo de soporte: LibroPosición de firma: 1
33 CARLOS GREGORIO RODRIGUEZ; CRISTOBAL PAREJA FLORES; TERESA PÉREZ PÉREZ. Consideracionessobre la enseñanza de la programación en estudios universitarios de Estadística e Investigación Operativa.Novatica. pp. 44 - 48. 30/09/2001. ISSN 0211-2124Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
34 CARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ; CRISTOBAL PAREJA FLORES. EXercita:automatic web publishing of programming exercises. ACM press, 30/06/2001. ISBN 1-58113-330-8Tipo de producción: Capítulos de libros Tipo de soporte: LibroPosición de firma: 1
63480170cc51a47427c194ee8d7b0ce7
17
35 CARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ; CRISTOBAL PAREJA FLORES. EXercita.A System for Archiving and Publishing Programming Exercises. Kluwer Academic Publishers, 31/01/2001. ISBN0-7923-7188-7Tipo de producción: Capítulos de libros Tipo de soporte: LibroPosición de firma: 1
36 RM Unanue; CARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ; PEDRO ANTONIO PALAOGOSTANZA; CRISTOBAL PAREJA FLORES; J. ÁNGEL VELÁZQUEZ ITURBIDE. EXercita - A system forarchiving and publishing programming exercises. 01/01/2001. ISBN 0-7923-7188-7Tipo de producción: Capítulos de libros Tipo de soporte: LibroPosición de firma: 2
37 CARLOS GREGORIO RODRIGUEZ; MANUEL NUÑEZ GARCIA. Denotational Semantics for Probabilistic RefusalTesting. Electronic Notes in Theoretical Computer Science. 22, pp. 1 - 27. (Holanda): 31/05/1999. ISSN 1571-0661Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
38 CARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ; MANUEL NUÑEZ GARCIA. TestingSemantics for a Probabilistic-Timed Process Algebra. Lecture Notes in Computer Science. 1231, pp. 353 - 367.31/05/1997. ISSN 0302-9743Tipo de producción: Artículo Tipo de soporte: RevistaPosición de firma: 1
Trabajos presentados en congresos nacionales o internacionales
1 Título del trabajo: Cómo generar y gestionar el big dataNombre del congreso: 95 Congreso de la Sociedad Española de Oftalmología>Tipo evento: Congreso Ámbito geográfico: NacionalTipo de participación: Ponencia invitadaCiudad de celebración: EspañaFecha de celebración: 25/09/2019Ciudad entidad organizadora: MADRID, EspañaCARLOS GREGORIO RODRIGUEZ.
2 Título del trabajo: Logical Characterisations and Compositionality of Input-Output Conformance SimulationNombre del congreso: re class="verbatim select-on-click" title="click to select text">43rd InternationalConference on Current Trends in Theory and Practice of Computer Science<Tipo evento: Congreso Ámbito geográfico: Internacional no UECiudad de celebración: Limerick, IrlandaFecha de celebración: 16/01/2017Ciudad entidad organizadora: IrlandaCARLOS GREGORIO RODRIGUEZ; IGNACIO FABREGAS ALFARO; LUCA ACETO; ANNAINGOLFSDOTTIR.
3 Título del trabajo: Extending mCRL2 with ready simulation and iocos input-output conformance simulationNombre del congreso: 30th Annual ACM Symposium on Applied ComputingTipo evento: Congreso Ámbito geográfico: Internacional no UECiudad de celebración: EspañaFecha de celebración: 13/04/2015Ciudad entidad organizadora: SALAMANCA, EspañaCARLOS GREGORIO RODRIGUEZ; LUIS FERNANDO LLANA DIAZ; RAFAEL MARTINEZ TORRES.
63480170cc51a47427c194ee8d7b0ce7
18
4 Título del trabajo: Input-Output Conformance Simulation (iocos) for Model Based TestingNombre del congreso: re>Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 InternationalConference, FMOODS/FORTE 2013<Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Florencia, ItaliaFecha de celebración: 03/06/2013Ciudad entidad organizadora: ItaliaCARLOS GREGORIO RODRIGUEZ.
5 Título del trabajo: The Equational Theory of Weak Complete Simulation Semantics over BCCSPNombre del congreso: 38th International Conference on Current Trends in Theory and Practice ofComputer Science - SOFSEM 2012Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: pindleruv Mln, República ChecaFecha de celebración: 21/01/2012Ciudad entidad organizadora: República ChecaCARLOS GREGORIO RODRIGUEZ; ANNA INGOLFSDOTTIR; LUCA ACETO; DAVID DE FRUTOSESCRIG.
6 Título del trabajo: Axiomatizing Weak Simulation Semantics over BCCSNombre del congreso: 6th Int. Coll. on Theoretical Aspects of Computing - ICTAC 2011Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Johannesburg, República SudafricanaFecha de celebración: 31/08/2011Ciudad entidad organizadora: República SudafricanaLUCA ACETO; DAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ; ANNAINGÓLFSDÓTTIR.
7 Título del trabajo: On the unification of processes semantics: equational semanticsNombre del congreso: Twenty-fifth Conference on the Mathematical Foundations of ProgrammingSemantics Theory and Practice of Computer Science (MFPS 2009)Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Oxford, Reino UnidoFecha de celebración: 03/04/2009Ciudad entidad organizadora: Reino UnidoDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ; MIGUEL PALOMINO TARJUELO.
8 Título del trabajo: On the unification of process semantics: observational semanticsNombre del congreso: 35th International Conference on Current Trends in Theory and Practice ofComputer Science - SOFSEM 09Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Spindleruv Mlyn, República ChecaFecha de celebración: 24/01/2009Ciudad entidad organizadora: República ChecaDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ; MIGUEL PALOMINO TARJUELO.
63480170cc51a47427c194ee8d7b0ce7
19
9 Título del trabajo: Universal Coinductive Characterisations of Process SemanticsNombre del congreso: Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 -IFIP WCCTipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Milán, ItaliaFecha de celebración: 08/09/2008Ciudad entidad organizadora: ItaliaDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ.
10 Título del trabajo: Coinductive Characterisations Reveal Nice Relations Between Preorders andEquivalencesNombre del congreso: First International Conference on Foundations of Informatics, Computing andSoftwareTipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Shanghai, ChinaFecha de celebración: 01/06/2008Ciudad entidad organizadora: ChinaDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ; MIGUEL PALOMINO TARJUELO.
11 Título del trabajo: Algebraic and Coinductive Characterizations of Semantics Provide General Results forFreeNombre del congreso: 19th Nordic Workshop on Programming Theory.Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Oslo, NoruegaFecha de celebración: 10/10/2007Ciudad entidad organizadora: NoruegaDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ.
12 Título del trabajo: Constrained Simulations, Nested Simulation Semantics and Counting BisimulationsNombre del congreso: PROLE Séptimas Jornadas de Programación y Lenguajes.Tipo evento: Congreso Ámbito geográfico: NacionalTipo de participación: PonenciaFecha de celebración: 11/09/2007Ciudad entidad organizadora: ZARAGOZA, EspañaDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ.
13 Título del trabajo: Simulations up-to and Canonical Preorders (extended abstract)Nombre del congreso: Structural Operation Semantics - SOS 2007Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Wroclaw, PoloniaFecha de celebración: 09/07/2007Ciudad entidad organizadora: PoloniaDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ.
63480170cc51a47427c194ee8d7b0ce7
20
14 Título del trabajo: New Bisimulation Semantics for Distributed SystemsNombre del congreso: 27th. IFIP TC6 WG6.1 Int. Conf. on Formal Techniques for Networked andDistributed Systems (FORTE 2007)Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Tallín, EstoniaFecha de celebración: 27/06/2007Ciudad entidad organizadora: EstoniaDAVID DE FRUTOS ESCRIG; FERNANDO ROSA VELARDO; CARLOS GREGORIO RODRIGUEZ.
15 Título del trabajo: Ready Simulation Equivalence as a Global BisimulationNombre del congreso: PROLE: Quintas Jornadas de Programación y Lenguajes.Tipo evento: Congreso Ámbito geográfico: NacionalTipo de participación: PonenciaFecha de celebración: 13/09/2005Ciudad entidad organizadora: GRANADA, EspañaDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ.
16 Título del trabajo: Bisimulation Up-to for the Linear Time-Branching Time Spectrum and beyondNombre del congreso: Annual Meeting of IFIP's WG 2.2Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: Ponencia invitadaCiudad de celebración: Skagen, DinamarcaFecha de celebración: 01/09/2005Ciudad entidad organizadora: DinamarcaDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ.
17 Título del trabajo: Bisimulation Up-to for the Linear Time-Branching Time SpectrumNombre del congreso: CONCUR 2005Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: Ponencia invitadaCiudad de celebración: SanFrancisco, Estados Unidos de AméricaFecha de celebración: 23/08/2005Ciudad entidad organizadora: Estados Unidos de AméricaDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ.
18 Título del trabajo: Preserving Contexts for Soft Conformance RelationNombre del congreso: Formal Approaches to Testing of Systems 2004Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Linz, AustriaFecha de celebración: 21/09/2004Ciudad entidad organizadora: AustriaDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ.
19 Título del trabajo: Semantic Equivalences Defined with Global BisimulationNombre del congreso: Annual Meeting of IFIP's WG 2.2Tipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: Ponencia invitadaCiudad de celebración: Bertinoro, ItaliaFecha de celebración: 01/09/2004
63480170cc51a47427c194ee8d7b0ce7
21
Ciudad entidad organizadora: ItaliaDAVID DE FRUTOS ESCRIG; CARLOS GREGORIO RODRIGUEZ.
20 Título del trabajo: UN CAMPUS VIRTUAL ALTERNATIVONombre del congreso: II JORNADAS CAMPUS VIRTUAL UCMTipo evento: JornadaFecha de celebración: 06/05/2004Ciudad entidad organizadora: MADRID, EspañaFERNANDO ROSA VELARDO; CARLOS GREGORIO RODRIGUEZ; JOSÉ MIGUEL CLEVA MILLOR.
21 Título del trabajo: Ergotracer: An Internet User Behaviour TracerTipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Kühlungsborn, AlemaniaFecha de celebración: 20/06/2002Ciudad entidad organizadora: AlemaniaCARLOS GREGORIO RODRIGUEZ.
22 Título del trabajo: EXercita: automatic web publishing of programming exercisesÁmbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Canterbury, Reino UnidoFecha de celebración: 25/06/2001Ciudad entidad organizadora: Reino UnidoCARLOS GREGORIO RODRIGUEZ; CRISTOBAL PAREJA FLORES; LUIS FERNANDO LLANA DIAZ.
23 Título del trabajo: Denotational Semantics for Probabilistic Refusal TestingNombre del congreso: PROBMIV'98 First International Workshop on Probabilistic Methods in VerificationTipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaCiudad de celebración: Indianapolis, Estados Unidos de AméricaFecha de celebración: 19/06/1998Ciudad entidad organizadora: Estados Unidos de AméricaCARLOS GREGORIO RODRIGUEZ; MANUEL NUÑEZ GARCIA.
24 Título del trabajo: Testing Semantics for a Probabilistic-Timed Process AlgebraNombre del congreso: 4th International AMAST Workshop on Real-Time Systems and Concurrent andDistributed SoftwareTipo evento: Congreso Ámbito geográfico: Internacional no UETipo de participación: PonenciaFecha de celebración: 21/05/1997Ciudad entidad organizadora: PALMA DE MALLORCA, EspañaCARLOS GREGORIO RODRIGUEZ.
63480170cc51a47427c194ee8d7b0ce7
22
Gestión de I+D+i y participación en comités científicos
Organización de actividades de I+D+i
1 Título de la actividad: Semana de la Ciencia 2016. Computer Vision: programas que ven el mundo.Ámbito geográfico: AutonómicaCiudad de celebración: EspañaModo de participación: Charla divulgativaFecha de inicio-fin: 18/11/2016 - 18/11/2016
2 Título de la actividad: Semana de la Ciencia 2015: ¿Pueden ver los ordenadores?Ámbito geográfico: AutonómicaCiudad de celebración: EspañaModo de participación: Charla divulgativaFecha de inicio-fin: 12/11/2015 - 12/11/2015
3 Título de la actividad: Semana de la Ciencia 2015: Matemáticas visuales e interactivas con SAGEÁmbito geográfico: AutonómicaCiudad de celebración: EspañaModo de participación: Charla divulgativaFecha de inicio-fin: 05/11/2015 - 05/11/2015
4 Título de la actividad: Comité Organizador del evento científico MEET 2015, aglutinando variasconferencias internacionales: CONCUR2015, QEST2015, FORMATS2015, TGC2015, WS-FM/BEATS2015 y varios workshops internacionales:EPEW 2015, EXPRESS/SOS 2015, PV 2015, TRENDS 2015,YR-CONCUR 2015, FOCLASA 2015, HSB 2015.Ámbito geográfico: Internacional no UECiudad de celebración: EspañaModo de participación: ConferenciaFecha de inicio-fin: 31/08/2015 - 04/09/2015
5 Título de la actividad: Invited Talk: A conformance simulation relation for model based testing and modelchecking. ICE-TCS seminar. Icelandic Center of Excellence in Theoretical Computer Science.Ámbito geográfico: Internacional no UECiudad de celebración: IslandiaModo de participación: SeminarioFecha de inicio-fin: 22/06/2015 - 22/06/2015
6 Título de la actividad: Semana de la ciencia 2013 ¿Pueden ver los ordenadores?Ámbito geográfico: AutonómicaCiudad de celebración: EspañaModo de participación: Charla divulgativaFecha de inicio-fin: 14/11/2013 - 14/11/2013
7 Título de la actividad: Chairman of 3rd Workshop in Formal Methods in the Develpment of Software 2013Ámbito geográfico: Internacional no UEModo de participación: ConferenciaFecha de inicio-fin: 24/09/2013 - 24/09/2013
63480170cc51a47427c194ee8d7b0ce7
23
8 Título de la actividad: Semana de la Ciencia 2012. Ven a programar el primer ordenador: la Máquina deTuring.Ámbito geográfico: AutonómicaCiudad de celebración: EspañaModo de participación: Charla divulgativaFecha de inicio-fin: 06/11/2012 - 14/11/2012
9 Título de la actividad: Semana de la Ciencia 2012 ¿Pueden ver los ordenadores?Ámbito geográfico: AutonómicaCiudad de celebración: EspañaModo de participación: Charla divulgativaFecha de inicio-fin: 06/11/2012 - 14/11/2012
10 Título de la actividad: Miembro del Comité de Programa del 2nd Workshop on Formal Methods in theDevelopment of SoftwareÁmbito geográfico: Internacional no UECiudad de celebración: FranciaModo de participación: ConferenciaFecha de inicio-fin: 27/08/2012 - 28/08/2012
11 Título de la actividad: EXercita: un sistema de almacenamiento y publicación de ejercicios deprogramaciónÁmbito geográfico: AutonómicaCiudad de celebración: EspañaModo de participación: Charla divulgativaFecha de inicio-fin: 03/12/2001 - 03/12/2001
12 Título de la actividad: I Evento en Sistemas Informáticos Inteligentes y Data WarehouseÁmbito geográfico: Internacional no UECiudad de celebración: PerúModo de participación: ConferenciaFecha de inicio-fin: 01/07/2000 - 01/07/2000
Otros méritos
Estancias en centros de I+D+i públicos o privados
1 Entidad de realización: Universidad de Buenos AiresCiudad entidad realización: Buenos Aires, ArgentinaFecha de inicio-fin: 26/09/2017 - 11/10/2017 Duración: 15 díasObjetivos de la estancia: InvitaciónTareas contrastables: Intercambio por convenio internacional para profesores de la UCM en elDepartamento de Computaciónde la Facultad de Ciencias Exactas y Naturales de la Universidad de BuenosAires
2 Entidad de realización: School of Computer Science, Reykjavik UniversityCiudad entidad realización: Reykjavik, IslandiaFecha de inicio-fin: 02/06/2015 - 30/07/2015 Duración: 1 mes - 28 díasObjetivos de la estancia: Invitación
63480170cc51a47427c194ee8d7b0ce7
24
Tareas contrastables: NILS Science and Sustainability (ES07) Coordinated Mobility of Researchers
3 Entidad de realización: School of Computer Science, Reykjavik UniversityCiudad entidad realización: Reykjavik, IslandiaFecha de inicio-fin: 04/04/2010 - 04/07/2010 Duración: 3 meses - 1 díaObjetivos de la estancia: InvitaciónTareas contrastables: UCM-EEA Abel Extraordinary Chairs
4 Entidad de realización: Universidad Nacional San Antonio Abad del CuscoCiudad entidad realización: Cuzco, PerúFecha de inicio-fin: 10/06/2000 - 31/07/2000 Duración: 1 mes - 21 díasObjetivos de la estancia: InvitaciónTareas contrastables: Cursos de Maestría en Informática: Algoritmos Paralelos y Distribuidos e Ingenieríadel Software
Períodos de actividad investigadora
1 Nº de tramos reconocidos: 1Fecha de obtención: 09/06/2014
2 Nº de tramos reconocidos: 1Fecha de obtención: 01/04/2008
3 Nº de tramos reconocidos: 1Fecha de obtención: 01/04/2003
Resumen de otros méritos
1 Descripción del mérito: Premio al mejor proyecto de innovación educativa. Área de ciencias e ingeniería.Fecha de concesión: 09/05/2018
2 Descripción del mérito: Colaborador en la versión 201707.0 de la herramienta mCRL2 para el análisis delcomportamiento de sistemas.; (http://www.mcrl2.org)Fecha de concesión: 25/08/2017
3 Descripción del mérito: Presidente del tribunal de tesis "Modelando la variabilidad: Métodos formales parala representación de líneas de productos software"Fecha de concesión: 20/06/2017
4 Descripción del mérito: Diploma de Excelencia Docente en reconocimiento a la labor docente desarrolladadurante el curso2015-2016, según los resultados obtenidos en el programa Docencia delVicerrectorado de Calidad (UCM)Fecha de concesión: 24/02/2017
5 Descripción del mérito: Miembro de la Comisión de Calidad del Programa de Doctorado Análisis de Datos(Data Science)Fecha de concesión: 09/12/2015
63480170cc51a47427c194ee8d7b0ce7
25
6 Descripción del mérito: Miembro de la Comisión Académica del Programa de Doctorado en Análisis deDatos (Data Science)Fecha de concesión: 15/09/2015
7 Descripción del mérito: Proyecto de Innovación y Mejora de la Calidad Docente: Implementación y puestaen práctica de técnicas deevaluación masiva, evaluación por pares y autoevaluación para MOOCs. PIMCD91/2014. Director: Carlos Gregorio Rodríguez.Fecha de concesión: 12/06/2014
8 Descripción del mérito: VII Jornada de Innovación Pedagógica del Proyecto ADA-MadridEntidad acreditante: Universidad Politécnica deMadrid
Tipo entidad: Universidad
Ciudad entidad acreditante: Comunidad de MadridFecha de concesión: 13/04/2012
9 Descripción del mérito: Miembro del Tribunal de Tesis "Técnicas coalgebraicas y categóricas para elestudio de las semánticas de procesos"Fecha de concesión: 16/03/2012
10 Descripción del mérito: Proyecto de Innovación y Mejora de la Calidad Docente: Módulo de Moodle parala elaboración de documentos educativos basados en ejercicios PIMCD-248 2010/201. Director: CarlosGregorio Rodríguez.Entidad acreditante: Universidad Complutense deMadrid
Tipo entidad: Universidad
Ciudad entidad acreditante: Comunidad de MadridFecha de concesión: 01/10/2010
11 Descripción del mérito: Miembro del tribunal de tesis "Testing activo y pasivo de sistemas con informacióntemporal y probabilística"Fecha de concesión: 12/03/2010
12 Descripción del mérito: Proyecto de Innovación y Mejora de la Calidad Docente: Módulo de detección deplagios para un campus virtual PIMCD 2009/185. Director: Luis Llana DíazEntidad acreditante: Universidad Complutense deMadrid
Tipo entidad: Universidad
Ciudad entidad acreditante: Comunidad de MadridFecha de concesión: 01/10/2009
13 Descripción del mérito: Certificado de Acreditación Nacional para Profesores Titulares de Universidad delConsejo de UniversidadesFecha de concesión: 03/09/2009
14 Descripción del mérito: II Jornada Campus Virtual UCMEntidad acreditante: Universidad Complutense deMadrid
Tipo entidad: Universidad
Ciudad entidad acreditante: Comunidad de MadridFecha de concesión: 01/06/2005
15 Descripción del mérito: I Jornada de Asignaturas Piloto UCM, La Docencia en el EEESEntidad acreditante: Universidad Complutense deMadrid
Tipo entidad: Universidad
63480170cc51a47427c194ee8d7b0ce7
26
Ciudad entidad acreditante: Comunidad de MadridFecha de concesión: 01/06/2005
16 Descripción del mérito: I Jornada Campus Virtual UCMEntidad acreditante: Universidad Complutense deMadrid
Tipo entidad: Universidad
Ciudad entidad acreditante: Comunidad de MadridFecha de concesión: 01/05/2004
17 Descripción del mérito: Jornada sobre el profesorado universitario en el contexto del Espacio Europeo deEducación superior (EEES)Entidad acreditante: Universidad Complutense deMadrid
Tipo entidad: Universidad
Ciudad entidad acreditante: Comunidad de MadridFecha de concesión: 01/04/2004
18 Descripción del mérito: II Jornada sobre el Proceso de Convergencia Europea en la UniversidadComplutenseEntidad acreditante: Universidad Complutense deMadrid
Tipo entidad: Universidad
Ciudad entidad acreditante: Comunidad de MadridFecha de concesión: 01/01/2004
19 Descripción del mérito: Proyecto de Innovación Educativa PIE 2001/11 titulado Herramientas gráficaspara la elaboración y utilización de material didáctico electrónico sobre programación.Director: CarlosGregorio RodríguezEntidad acreditante: Universidad Complutense deMadrid
Tipo entidad: Universidad
Ciudad entidad acreditante: Comunidad de MadridFecha de concesión: 01/01/2002
20 Descripción del mérito: Curso "El Proyecto Docente en la Universidad", Instituto de Ciencias de laEducación de la Universidad Complutense de MadridEntidad acreditante: Universidad Complutense deMadrid
Tipo entidad: Universidad
Ciudad entidad acreditante: Comunidad de MadridFecha de concesión: 01/11/2001
21 Descripción del mérito: Proyecto de Innovación y Mejora de la Calidad Docente: Elaboración de materialeducativo para prácticas de programación PIE 99/32. Director: Cristóbal Pareja FloresEntidad acreditante: Universidad Complutense deMadrid
Tipo entidad: Universidad
Ciudad entidad acreditante: Comunidad de MadridFecha de concesión: 01/01/2000
22 Descripción del mérito: Certificado de Aptitud Pedagógica del Instituto de Ciencias de la Educación de laUniversidad Complutense de MadridCiudad entidad acreditante: EspañaFecha de concesión: 01/06/1994