CVN - CARLOS GREGORIO RODRIGUEZ - UCMwild.mat.ucm.es/homepage/docs/CV_52182754D.pdfResponsable de la...

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

http://cvn.fecyt.es/

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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Entidad de realización: Universidad Complutensede Madrid


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


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


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




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




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


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


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


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



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



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



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



15 Descripción del mérito: I Jornada de Asignaturas Piloto UCM, La Docencia en el EEESEntidad acreditante: Universidad Complutense deMadrid


63480170cc51a47427c194ee8d7b0ce7

26


16 Descripción del mérito: I Jornada Campus Virtual UCMEntidad acreditante: Universidad Complutense deMadrid



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



18 Descripción del mérito: II Jornada sobre el Proceso de Convergencia Europea en la UniversidadComplutenseEntidad acreditante: Universidad Complutense deMadrid



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



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



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



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

CVN - CARLOS GREGORIO RODRIGUEZ - UCMwild.mat.ucm.es/homepage/docs/CV_52182754D.pdfResponsable de la...

Documents

Transcript of CVN - CARLOS GREGORIO RODRIGUEZ - UCMwild.mat.ucm.es/homepage/docs/CV_52182754D.pdfResponsable de la...