Especificación de sistemas concurrentes usando conceptos de teoría económica: Sintaxis, semántica, aplicaciones y extensiones del lenguaje formal PAMR

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Especificación de sistemas concurrentes usando conceptos de teoría económica: Sintaxis, semántica, aplicaciones y extensiones del lenguaje formal PAMR"

Transcripción

1 CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: Rodríguez Laguna, Ismael Cuerpo docente al que pertenece: Profesor Titular de Año de ingreso al cuerpo:2007 Universidad Universidad a la que pertenece: Universidad Complutense de Madrid Evaluación positiva de su actividad docente Número de quinquenios: 1 Fecha del último reconocimiento: 2007 Evaluación positiva de su actividad investigadora Número de sexenios: 1 Fecha del último reconocimiento: FORMACIÓN ACADÉMICA Tesis doctoral Año lectura 2004 Especificación de sistemas concurrentes usando conceptos de teoría económica: Sintaxis, semántica, aplicaciones y extensiones del lenguaje formal PAMR 3. ACTIVIDAD INVESTIGADORA Y DOCENTE Publicaciones y creaciones artísticas profesionales (3 últimos años) TÍTULO: Applying River Formation Dynamics to solve NP-Complete Problems LIBRO: Nature-Inspired Algorithms for Optimisation CLAVE: CL PÁGINAS, INICIAL: 333 FINAL: 368 AÑO: 2009 EDITORIAL: Springer-Verlag LUGAR DE PUBLICACIÓN: AUTORES: César Andrés, Luis Llana, Ismael Rodríguez TÍTULO: Formally transforming user-model testing problems into implementer-model testing problems and viceversa REVISTA: Journal of Logic and Algebraic Programming 78(6) CLAVE: A PÁGINAS, INICIAL: 425 FINAL: 453 AÑO: 2009 EDITORIAL: Elsevier (ISSN ) LUGAR DE PUBLICACIÓN: Holanda AUTORES: Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio TÍTULO: Comparing Learning Methods REVISTA: International Journal of Cognitive Informatics and Natural Intelligence, 3(3) CLAVE: A PÁGINAS, INICIAL: 12 FINAL: 26 AÑO: 2009 EDITORIAL: IGI-Publishing (ISSN ) LUGAR DE PUBLICACIÓN: USA AUTORES: Pablo Rabanal, Ismael Rodríguez TÍTULO: Testing Restorable Systems by Using RFD REVISTA: Lecture Notes in Computer Science vol Vicerrectorado de Profesorado de la Universidad de Castilla La Mancha Página 1/6

2 CLAVE: A PÁGINAS, INICIAL: 351 FINAL: 368 AÑO: 2009 TÍTULO: Applying Evolutionary Computation Methods to Formal Testing and Model Checking REVISTA: Lecture Notes in Computer Science vol CLAVE: A PAGINAS, INICIAL: 310 FINAL: 317 AÑO: 2009 TÍTULO: A Formal Approach to Heuristically Test Restorable Systems REVISTA: Lecture Notes in Computer Science vol CLAVE: A PÁGINAS, INICIAL: 292 FINAL: 306 AÑO: 2009 AUTORES: Gregorio Díaz, Ismael Rodríguez TÍTULO: Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach REVISTA: Lecture Notes in Computer Science vol CLAVE: A PÁGINAS, INICIAL: 231 FINAL: 236 AÑO: 2009 AUTORES: Ismael RodrÍguez TÍTULO: A General Testability Theory REVISTA: Lecture Notes in Computer Science vol CLAVE: A PÁGINAS, INICIAL: 572 FINAL: 586 AÑO: 2009 AUTORES: Pablo Rabanal, Ismael RodrÍguez, Fernando Rubio TÍTULO: Hybridizing River Formation Dynamics and Ant Colony Optimization REVISTA: Lecture Notes in Computer Science vol (en prensa) CLAVE: A PÁGINAS, INICIAL: 424 FINAL: 431 AÑO: 2009 TÍTULO: Applying RFD to Construct Optimal Quality-Investment Trees REVISTA: Journal of Universal Computer Science 16(14) CLAVE: A PÁGINAS, INICIAL: 1882 FINAL: 1901 AÑO: 2010 EDITORIAL: Graz University of Technology (ISSN: ) LUGAR DE PUBLICACIÓN: Austria Vicerrectorado de Profesorado de la Universidad de Castilla La Mancha Página 2/6

3 AUTORES: Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez TÍTULO: A formal framework to test soft and hard deadlines in timed systems REVISTA: Software Testing, Verification and Reliability (en prensa) CLAVE: A PÁGINAS: 26 páginas (en prensa) AÑO: 2011 EDITORIAL: John Wiley and Sons (ISSN: ) LUGAR DE PUBLICACIÓN: USA TÍTULO: Studying the Application of Ant Colony Optimization and River Formation Dynamics to the Steiner Tree Problem REVISTA: Evolutionary Intelligence 4(1) CLAVE: A PÁGINAS: AÑO: 2011 EDITORIAL: Springer-Verlag LUGAR DE PUBLICACIÓN: AUTORES: Luis M. Alonso, Pablo Rabanal, Ismael Rodríguez TÍTULO: A Preliminary General Testing Method Based on Genetic Algorithms REVISTA: Lecture Notes in Computer Science vol CLAVE: A PÁGINAS, INICIAL: 356 FINAL: 363 AÑO: 2011 AUTORES: Pablo Rabanal, Ismael RodrÍguez, Fernando Rubio TÍTULO: Testing Restorable Systems: Formal Definition and Heuristic Solution based on River Formation Dynamics REVISTA: Formal Aspects of Computing (en prensa) CLAVE: A PÁGINAS: 26 páginas (en prensa) AÑO: 2011 EDITORIAL: Springer (ISSN ) LUGAR DE PUBLICACIÓN: AUTORES: Ismael Rodríguez, Gregorio Díaz, Pablo Rabanal, José Antonio Mateo TÍTULO: A centralized and a decentralized method to automatically derive choreography-conforming web service systems REVISTA: Journal of Logic and Algebraic Programming CLAVE: A PÁGINAS: 52 páginas (en prensa) AÑO: 2011 EDITORIAL: Elsevier (ISSN ) LUGAR DE PUBLICACIÓN: Holanda Vicerrectorado de Profesorado de la Universidad de Castilla La Mancha Página 3/6

4 Congresos, conferencias y seminarios (3 últimos años) TÍTULO: Analyzing Variable-cost Graphs by using River Formation Dynamics TIPO DE PARTICIPACI ON: Ponencia a congreso CONGRESO: XVI Jornadas de Concurrencia y Sistemas Distribuidos PUBLICACIÓN: Actas de XVI las Jornadas de Concurrencia LUGAR CELEBRACIÓN: Albacete, España FECHA: Junio 2008 AUTORES: Gregorio Díaz, Ismael Rodríguez TÍTULO: Automatically Deriving Choreography-Conforming Systems of Services LIBRO: International Conference on Services Computing (SCC 2009) CLAVE: CL PÁGINAS, INICIAL: 9 FINAL: 16 AÑO: 2009 EDITORIAL: IEEE-CS Press (ISBN ) LUGAR DE PUBLICACIÓN: USA AUTORES: Pablo Rabanal, Ismael RodrÍguez, Fernando Rubio TÍTULO: Applying River Formation Dynamics to the Steiner Tree Problem REFERENCIA LIBRO: International Conference on Cognitive Informatics (ICCI 10) CLAVE: CL PÁGINAS, INICIAL: 704 FINAL: 711 AÑO: 2010 EDITORIAL: IEEE-CS Press (en prensa) LUGAR DE PUBLICACIÓN: USA AUTORES: Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz TÍTULO: DIEGO: A Tool for DerIving choreography-conforming Web Service Systems REFERENCIA LIBRO: IEEE International Conference on Web Services (ICWS 2011) CLAVE: CL PÁGINAS: AÑO: 2011 EDITORIAL: IEEE-CS Press (en prensa) LUGAR DE PUBLICACIÓN: USA Proyectos y contratos de investigación (en vigor como Investigador No Principal) TÍTULO DEL PROYECTO: Programa de Grupos de Investigación Santander-UCM (modalidad A - Consolidados) - Grupo Testing y Evaluación del Rendimiento (ref. grupo ) ENTIDAD FINANCIADORA: Santander y Universidad Complutense de Madrid (Convocatoria GR GR35/10-A) CUANTÍA DE LA SUBVENCIÓN: euros FECHAS DE INICIO Y TERMINACIÓN: Enero de 2011 a Diciembre de 2011 INVESTIGADOR PRINCIPAL: Manuel Núñez García TÍTULO DEL PROYECTO: TESIS (advanced methodologies and tools for TEStIng and web Services). TIN C ENTIDAD FINANCIADORA: MCyT ENTIDADES PARTICIPANTES: Univ. Complutense de Madrid, Univ. Castilla la Mancha DURACI ON, DESDE: Enero 2010 HASTA: Diciembre 2012 CUANTÍA DE LA SUBVENCIÓN: e. Vicerrectorado de Profesorado de la Universidad de Castilla La Mancha Página 4/6

5 INVESTIGADOR RESPONSABLE: Manuel Núñez Dirección de tesis doctorales y otros trabajos de investigación (3 últimos años) DOCTORANDO: Pablo Rabanal Basalo TÍTULO TESIS: Algoritmos heurísticos y aplicaciones a métodos formales. Otros méritos (máximo 10 líneas) Asistencia a escuelas internacionales: Marktoberdorf International Summer School Models, Algebras, and Logic of Engineering Software, Institut fúr Informatik, Technische Universität München (), del 30 de Julio al 11 de Agosto de nd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model Checking (SFM-02:MC), Universidad de Bolonia (Italia), del 9 al 14 de Septiembre de ACTIVIDAD PROFESIONAL (máximo 10 líneas) En el papel de ayudante: Informática, Laboratorio de Programación I, Laboratorio de Programación II, Ingeniería del Software, Ingeniería del Software de Gestión I, Ingeniería del Software de Gestión II, Inteligencia Artificial e Ingeniería del Conocimiento. Como responsable de la asignatura: Lógica, Teoría de Autómatas y Lenguajes Formales, Sistemas Informáticos, Programación Funcional, Calculabilidad y Complejidad, Aplicación de Principios Económicos al Desarrollo de Sistemas Computacionales (máster). 5. EXPERIENCIA EN GESTIÓN Y ADMINISTRACIÓN EDUCATIVA, CIENTÍFICA O TECNOLÓGICA (máximo 10 líneas) Secretario de la Comisión Académica del Departamento de Sistemas Informáticos y Programación de la UCM desde octubre de 2005 hasta septiembre de Subdirector del Departamento de Sistemas Informáticos y Computación de la UCM desde 1/1/2007 hasta 1/10/2010. Como tal, presidente de la Comisión Académica del Departamento de Sistemas Informáticos y Computación. Miembro de la Comisión de Ordenación Académica de la Facultad de Informática Vicerrectorado de Profesorado de la Universidad de Castilla La Mancha Página 5/6

6 desde 2007 hasta 2010 y de la Comisión de Planes de Máster de la Facultad de Informática desde 2009 hasta Miembro de la Comisión de Elaboración de Planes de Grado del Departamento de Sistemas Informáticos y Computación desde 2008 hasta la actualidad. 6. OTROS MÉRITOS (máximo 10 líneas) Pertenencia a comités de programa: TheFormEMC 2004, IADIS-AC 04, SAC 05, IADIS-AC 05, SAC 06, IADIS-AC 06, TheFormEMC 2006, SITIS 06, SAC 07, SITIS 07, AMOST 08, SITIS 08, TestCom 09, SITIS 09, organizador de la sesión especial Applying Evolutionary Computation and Nature-inspired Algorithms to Formal Methods en IWANN 09 e IWANN 11, TestCom 09, ICST 10, SITIS 10, ICST 11. Evaluador de congresos y libros internaciones (excluyendo anteriores): MCTA 03, FORTE 03, FORTE 04, WS-FM 04, EPEW 04, FATES 04, ITM 04, FORTE 05, FATES 05, TestCom 05, ICCI 06, EPEW 06, WS-FM 06, TestCom 06, IIT 06, FMOODS 07, ICCI 07, QEST 07, TestCom 07, WS-FM 07, ICST 08, Test-Com 08, Libro Nature Inspired Optimization (2009), CONCUR 09, ICCI 09, SEFM 09, FORTE 10, ICCI 10. Editor de revistas científicas: Journal of Universal Computer Science. Evaluador de revistas internaciones (excluyendo anterior): Journal of Systems Science and Systems Engineering; IEEE Transactions on Systems, Man and Cybernetics; International Journal of Cognitive Informatics and Natural Intelligence; Computer Networks; Journal of Logic and Algebraic Programming; Software Testing, Verification and Reliability; Journal of Systems and Software; IEEE Transactions on Computers. Organización de congresos: FORTE 04, ITM 04, JJCC 04. Vicerrectorado de Profesorado de la Universidad de Castilla La Mancha Página 6/6

Decidibilidad de Problemas sobre redes de Petri Temporizadas

Decidibilidad de Problemas sobre redes de Petri Temporizadas CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: Valero Ruiz, Valentín Cuerpo docente al que pertenece:

Más detalles

Antonio Llanes Castro v 1.3.0

Antonio Llanes Castro v 1.3.0 Antonio Llanes Castro Generado desde: Universidad Católica San Antonio de Murcia Fecha del documento: 15/05/2015 v 1.3.0 e9fec3d982fc1fbfc1bfd7d44f33ff2f Este fichero electrónico (PDF) contiene incrustada

Más detalles

Curriculum vitae. Comisión Interministerial de Ciencia y Tecnología. Nombre: Jorge García Gutiérrez. Fecha: 12/01/2010. Plan Nacional de I+D+I

Curriculum vitae. Comisión Interministerial de Ciencia y Tecnología. Nombre: Jorge García Gutiérrez. Fecha: 12/01/2010. Plan Nacional de I+D+I García Gutiérrez, pág. 1 Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Nombre: Jorge García Gutiérrez Fecha: 12/01/2010 Plan Nacional de I+D+I García Gutiérrez, pág. 2 INDICE Datos

Más detalles

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: Carrión Espinosa, Carmen Cuerpo docente al que pertenece:

Más detalles

Ismael Rodríguez Fernández Fecha del documento: 02/04/2014 v 1.3.0 0821a4c900fdecb3fa32336d62ca9c7a

Ismael Rodríguez Fernández Fecha del documento: 02/04/2014 v 1.3.0 0821a4c900fdecb3fa32336d62ca9c7a Ismael Rodríguez Fernández Fecha del documento: 02/04/2014 v 1.3.0 0821a4c900fdecb3fa32336d62ca9c7a Este fichero electrónico (PDF) contiene incrustada la tecnología CVN (CVN-XML). La tecnología CVN de

Más detalles

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: Puerta Callejón, José Miguel Cuerpo docente al que pertenece:

Más detalles

Grado en Ingeniería Informática. Asignatura: Principios de Computadores

Grado en Ingeniería Informática. Asignatura: Principios de Computadores Currículum de los responsables docentes Coordinación: José Luis Sánchez de la Rosa - Departamento: Ingeniería de Sistemas y Automática y Arquitectura y Tecnología de Computadoras - Dirección (despacho):

Más detalles

Proyectos de Investigación Subvencionados

Proyectos de Investigación Subvencionados Proyectos de Investigación Subvencionados Título del Proyecto: Sistema Automático de Adquisición de datos a partir de EPC (DEPCAS). Entidad Financiadora: CICYT (Ref. DPI 2007-61287). Entidades Participantes:

Más detalles

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: CARDONA RUBERT, MARIA BELEN Cuerpo docente al que pertenece:

Más detalles

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: Gómez Requena, María Engracia Cuerpo docente al que pertenece:

Más detalles

LUIS PANIZO ALONSO Fecha del documento: 21/03/2013 a0eba44a678c78781bf04d1bf1b65285

LUIS PANIZO ALONSO Fecha del documento: 21/03/2013 a0eba44a678c78781bf04d1bf1b65285 LUIS PANIZO ALONSO Fecha del documento: 21/03/2013 a0eba44a678c78781bf04d1bf1b65285 Este fichero electrónico (PDF) contiene incrustada la tecnología CVN (CVN-XML). La tecnología CVN de este fichero permite

Más detalles

Comisión Interministerial de Ciencia y Tecnología Curriculum vitae

Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Nombre: EVA MARQUEZ CAMPÓN 10/01/2008 Apellidos: MARQUEZ CAMPON Nombre: EVA MARIA DNI: 28492063 P Fecha de nacimiento : 22/11/1972 Sexo:

Más detalles

PROYECTO DOCENTE ASIGNATURA: "Lógica Informática"

PROYECTO DOCENTE ASIGNATURA: Lógica Informática PROYECTO DOCENTE ASIGNATURA: "Lógica Informática" Grupo: Clases Teóricas de Lógica Informática (DOCENCIA EN INGLÉS)(948465) Titulacion: Grado en Ingeniería Informática-Ingeniería del Software Curso: 2015-2016

Más detalles

JOSÉ OCTAVIO GUTIÉRREZ GARCÍA

JOSÉ OCTAVIO GUTIÉRREZ GARCÍA JOSÉ OCTAVIO GUTIÉRREZ GARCÍA Profesor de Tiempo Completo del Departamento Académico de Computación DOMICILIO Río Hondo No. 1 Progreso Tizapán México 01080, D.F. Tel: +52 (55) 5628-4000 Ext. 3645 Fax:

Más detalles

1996-2001 Licenciatura en Ciencias de la Computación, Benémerita Universidad Autónoma de Puebla, Puebla, Pue., 8.57.

1996-2001 Licenciatura en Ciencias de la Computación, Benémerita Universidad Autónoma de Puebla, Puebla, Pue., 8.57. DATOS PERSONALES Nombre completo: Venustiano Soancatl Aguilar Correo electrónico: venus@bianni.unistmo.edu.mx FORMACIÓN ACADÉMICA 2001 2003 Maestria en Ciencias Computacionales, Instituto Nacional de Astrofísica

Más detalles

TITULACIÓN: CURSO ACADÉMICO: 2012-2013 GUÍA DOCENTE

TITULACIÓN: CURSO ACADÉMICO: 2012-2013 GUÍA DOCENTE TITULACIÓN: CURSO ACADÉMICO: 2012-2013 GUÍA DOCENTE 1. DATOS BÁSICOS DE LA ASIGNATURA NOMBRE: SISTEMAS INTELIGENTES DEL TRANSPORTE CÓDIGO: CURSO ACADÉMICO: 2012-2013 TIPO: OBLIGATORIA Créditos ECTS: 4CR.

Más detalles

Comisión Interministerial de Ciencia y Tecnología. Curriculum vitae

Comisión Interministerial de Ciencia y Tecnología. Curriculum vitae Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Nombre:Sergio Álvarez García Fecha:13/01/2008 Plan Nacional de I+D+I (2008-2011) ATENCION: Deben firmarse al margen todas las hojas del

Más detalles

Qué es CISE? Computing and Information Sciences and Engineering estudia la filosofía, naturaleza,

Qué es CISE? Computing and Information Sciences and Engineering estudia la filosofía, naturaleza, Qué es CISE? Computing and Information Sciences and Engineering estudia la filosofía, naturaleza, representación y transformación de información incluyendo aspectos teóricos como experimentales. Estructura

Más detalles

Curriculum vitae. Comisión Interministerial de Ciencia y Tecnología. Nombre: Susana Aulestiarte Jiménez. Fecha: 25 de noviembre de 2002

Curriculum vitae. Comisión Interministerial de Ciencia y Tecnología. Nombre: Susana Aulestiarte Jiménez. Fecha: 25 de noviembre de 2002 Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Nombre: Susana Aulestiarte Jiménez Fecha: 25 de noviembre de 2002 Plan Nacional de I+D+I (2000-2003) Apellidos: Aulestiarte Jiménez Nombre:

Más detalles

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: PASCUAL SÁEZ, MARTA Cuerpo docente al que pertenece: Titular

Más detalles

Tareas 20% Primer Examen Parcial 20% Segundo Examen Parcial 20% Proyecto Final 25% Examen Final 15%

Tareas 20% Primer Examen Parcial 20% Segundo Examen Parcial 20% Proyecto Final 25% Examen Final 15% Introducción a la Computación Evolutiva Dr. Carlos Artemio Coello Coello CINVESTAV-IPN Departamento de Computación Av. Instituto Politécnico Nacional No. 2508 Col. San Pedro Zacatenco México, D.F. 07360

Más detalles

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: Carabí Ribera, Àngels Cuerpo docente al que pertenece:

Más detalles

Bases de la convocatoria

Bases de la convocatoria RESOLUCIÓN del Vicerrector de la Universidad Carlos III de Madrid, de 12 de mayo de 2015 por la que se aprueba la convocatoria del Programa para Personal Investigador Predoctoral en Formación para el curso

Más detalles

Título del proyecto: Proyecto Coordinado de Televisión e Infancia (PROCOTIN). Referencia S2007/HUM- 0424.

Título del proyecto: Proyecto Coordinado de Televisión e Infancia (PROCOTIN). Referencia S2007/HUM- 0424. CURRICULUM VITAE 1. DATOS PERSONALES Elba Díaz Cerveró ediaz@ucjc.edu Facultad de Comunicación UNIVERSIDAD CAMILO JOSÉ CELA 91 815 31 31 www.ucjc.edu 2. TÍTULOS ACADÉMICOS Doctora en Periodismo 3. EXPERIENCIA

Más detalles

2. JUSTIFICACIÓN 2.1. Justificación del título propuesto

2. JUSTIFICACIÓN 2.1. Justificación del título propuesto 2. JUSTIFICACIÓN 2.1. Justificación del título propuesto Hoy en día la computación se considera una parte imprescindible, junto con la teoría y la experimentación, para el avance del conocimiento científico.

Más detalles

CONGRESOS 2012 INTERNACIONALES

CONGRESOS 2012 INTERNACIONALES CONGRESOS 2012 INTERNACIONALES Autores: V. A. Bollati, P. Atzeni, E. Marcos, J.M. Vara Título: Model Management Systems vs. Model Driven Engineering: A Case Study Congreso: Symposium on Applied Computing

Más detalles

8. Infraestructura. Criterio 10. Espacios y Equipamiento. 10.1 Aulas

8. Infraestructura. Criterio 10. Espacios y Equipamiento. 10.1 Aulas 8. Infraestructura Criterio 10. Espacios y Equipamiento 10.1 Aulas El Programa de Doctorado en Ingeniería de Sistemas tiene acceso a aulas con pizarrón inteligente y proyector digital, compartidas con

Más detalles

Doctorado en Ingeniería Informática

Doctorado en Ingeniería Informática 1.- Acceso y admisión. Doctorado en Ingeniería Informática Código D021 Los estudiantes que soliciten su admisión a este Programa de Doctorado, deberán acreditar que cumplen los requisitos previos para

Más detalles

PREMIO JÓVENES INVESTIGADORES de la Universidad de Alcalá en el año 2002.

PREMIO JÓVENES INVESTIGADORES de la Universidad de Alcalá en el año 2002. 1. DATOS PERSONALES Apellidos y Nombre: Tejedor Martínez, Cristina Cuerpo docente al que pertenece: Titular de Universidad Año de ingreso al cuerpo: 2001 Universidad a la que pertenece: Universidad de

Más detalles

ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE EXITO, ANALISIS Y MITIGACION DE RIESGOS DE PROYECTOS EN DESARROLLO DE SOFTWARE

ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE EXITO, ANALISIS Y MITIGACION DE RIESGOS DE PROYECTOS EN DESARROLLO DE SOFTWARE CONICYT: Repositorio Institucional: Ficha de Iniciativa de CIT (Ciencia, Tecnología e Innovación) 1 FONDECYT-REGULAR - 2003-1030785 ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE

Más detalles

ASIGNATURA FECHA HORA AULA. Matemática Discreta 25-ene 16,00-19,00 LAB. 7. Álgebra Lineal 06-feb 09,00-12,00 LAB. 7

ASIGNATURA FECHA HORA AULA. Matemática Discreta 25-ene 16,00-19,00 LAB. 7. Álgebra Lineal 06-feb 09,00-12,00 LAB. 7 EXÁMENES FEBRERO - CURSO 2015-2016 PRIMER CURSO - GRUPO B Matemática Discreta 25-ene 16,00-19,00 LAB. 7 Álgebra Lineal 06-feb 09,00-12,00 LAB. 7 EXÁMENES JUNIO - CURSO 2015-2016 PRIMER CURSO - GRUPO B

Más detalles

CURRICULUM VITAE (Agosto, 2015)

CURRICULUM VITAE (Agosto, 2015) José Luis de la Fuente O Connor CURRICULUM VITAE (Agosto, 2015) Datos personales Lugar y Fecha de Nacimiento: Madrid; 29/9/1953. Estado Civil: Domicilio: Ocupaciones actuales: Casado; 2 hijos: Sandra y

Más detalles

Comisión Interministerial de Ciencia y Tecnología Curriculum vitae

Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Nombre: IGNACIO PÉREZ ROYO 14/01/2008 Apellidos: PÉREZ ROYO Nombre: IGNACIO DNI: 28451882P Fecha de nacimiento : 19/04/1955 Sexo: VARÓN

Más detalles

Currículum Vitae. Datos personales. Idiomas. G.141 2010_Aca_es

Currículum Vitae. Datos personales. Idiomas. G.141 2010_Aca_es Currículum Vitae Datos personales Nombre Manuel Nacionalidad Española Apellidos Sánchez Marañón Formación académica (Titulación, año e institución) Doctor Ciencias Geológicas, 1992, Univ. Granada Idiomas

Más detalles

PLANIFICACIÓN DE LA DOCENCIA UNIVERSITARIA GUÍA DOCENTE. Datamining y Aprendizaje Automático

PLANIFICACIÓN DE LA DOCENCIA UNIVERSITARIA GUÍA DOCENTE. Datamining y Aprendizaje Automático CENTRO UNIVERSITARIO DE TECNOLOGÍA Y ARTE DIGITAL PLANIFICACIÓN DE LA DOCENCIA UNIVERSITARIA GUÍA DOCENTE Datamining y Automático 1. DATOS DE IDENTIFICACIÓN DE LA ASIGNATURA. Título: Facultad: Grado en

Más detalles

Benemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación

Benemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación PLAN DE ESTUDIOS (PE): Licenciatura en Ingeniería en Tecnologías de la Información. AREA: Optativas ASIGNATURA: CÓDIGO: ITIM-601 CRÉDITOS: 5 FECHA: Julio de 2013 1 1. DATOS GENERALES Nivel Educativo: Licenciatura.

Más detalles

http://portal.acm.org

http://portal.acm.org Association for Computing Machinery (ACM) Mark Mandelbaum, Director of Publications ACM Digital Library and its contributions to the technological development SYSTEMS link International Mauricio Caceres

Más detalles

GUÍA DE AYUDA PARA LA CUMPLIMENTACIÓN DE LAS SOLICITUDES DE ACREDITACIÓN

GUÍA DE AYUDA PARA LA CUMPLIMENTACIÓN DE LAS SOLICITUDES DE ACREDITACIÓN GUÍA DE AYUDA PARA LA CUMPLIMENTACIÓN DE LAS SOLICITUDES DE ACREDITACIÓN CUMPLIMENTACIÓN DE LA SOLICITUD Además de los datos personales, deben incluirse todos los méritos a evaluar en los diferentes apartados

Más detalles

Fundamentos y Aplicaciones Prácticas del Descubrimiento de Conocimiento en Bases de Datos Guía docente

Fundamentos y Aplicaciones Prácticas del Descubrimiento de Conocimiento en Bases de Datos Guía docente Fundamentos y Aplicaciones Prácticas del Descubrimiento de Conocimiento en Bases de Datos Guía docente Impartido por: Juan Alfonso Lara Torralbo 1. Datos del docente NOMBRE Juan Alfonso Lara Torralbo FORMACIÓN

Más detalles

Curriculum Vitae. 1995/1996 Colegio Santa María Marianistas Lima, Educación Media Perú

Curriculum Vitae. 1995/1996 Colegio Santa María Marianistas Lima, Educación Media Perú Curriculum Vitae Martín Eduardo Gutiérrez Pescarmona Domingo Bondi 960, Dpto. 301 Las Condes. Santiago - Chile Phone: (56-2) 8950169-097888570 martin.gutierrez@gmail.com EDUCACION 1997/2005 PONTIFICIA

Más detalles

CURRICULUM VITAE. Diego Moitre

CURRICULUM VITAE. Diego Moitre CURRICULUM VITAE Diego Moitre A. ANTECEDENTES PERSONALES Nombre : Diego Carlos Alberto Moitre Fecha de Nacimiento : 13 de Noviembre de 1953 Nacionalidad : Argentina Domicilio Profesional: Universidad Nacional

Más detalles

Premios a la Innovación Educativa

Premios a la Innovación Educativa Premios a la Innovación Educativa La Universidad Politécnica de Madrid ha premiado a siete de sus profesores por el esfuerzo realizado en el área de la Innovación Educativa. Se valora el diseño de experiencias,

Más detalles

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: ÁLVAREZ GONZÁLEZ, MARÍA ISABEL Cuerpo docente al que pertenece:

Más detalles

GRADO EN INGENIERÍA INFORMÁTICA

GRADO EN INGENIERÍA INFORMÁTICA GRADO EN INGENIERÍA INFORMÁTICA CURSO ACADÉMICO 2010/2011 Estudios Grado en Ingeniería (En el presente año académico solamente se ofertará el primer curso) Rama de conocimiento Ingeniería y Arquitectura

Más detalles

Validación y Pruebas «Validating and testing»

Validación y Pruebas «Validating and testing» GUÍA DOCENTE 2014-2015 Validación y Pruebas «Validating and testing» 1. Denominación de la asignatura: Validación y Pruebas «Validating and testing» Titulación Grado en Ingeniería Informática «Degree in

Más detalles

Technology. Journal of object Oriented Programming. Journal of Information Systems Management. Revista Colombiana de Computación

Technology. Journal of object Oriented Programming. Journal of Information Systems Management. Revista Colombiana de Computación MINI CURRICULUM VITAE Nombres: Maria Angélica Apellidos: Pérez de Ovalles C Identidad: V-3821365 Fecha de Ingreso a la USB: 15-04-92 e-mail: movalles@usb.ve Ext-USB: 4017 Lugar de Trabajo: MYS 309 A Dpto:

Más detalles

12 de Marzo de 2015 PROGRAMACIÓN ENTERA (8080746) Postgrado de Investigación de Operaciones Facultad de Ingeniería Universidad Central de Venezuela

12 de Marzo de 2015 PROGRAMACIÓN ENTERA (8080746) Postgrado de Investigación de Operaciones Facultad de Ingeniería Universidad Central de Venezuela 12 de Marzo de 2015 PROGRAMACIÓN ENTERA (8080746) Postgrado de Investigación de Operaciones Facultad de Ingeniería Universidad Central de Venezuela Programación Entera José Luis Quintero 1 Puntos a tratar

Más detalles

Comparativa de Algoritmo Genético, Memético y SI para el diseño de horarios de una Institución Educativa

Comparativa de Algoritmo Genético, Memético y SI para el diseño de horarios de una Institución Educativa Comparativa de Algoritmo Genético, Memético y SI para el diseño de horarios de una Institución Educativa Lucero de Montserrat Ortiz Aguilar a, Juan Martín Carpio Valadez a, Héctor José Puga Soberanes a,

Más detalles

ACUERDOS DEL PLENO DEL CONSEJO SOCIAL UNIVERSIDAD COMPLUTENSE DE MADRID

ACUERDOS DEL PLENO DEL CONSEJO SOCIAL UNIVERSIDAD COMPLUTENSE DE MADRID ACUERDOS DEL PLENO DEL CONSEJO SOCIAL UNIVERSIDAD COMPLUTENSE DE MADRID Madrid, 7 de mayo de 2015 Precios Públicos de Títulos Propios mayo de 2015, ha acordado por unanimidad aprobar los precios públicos

Más detalles

WICC 2014 XVI Workshop de Investigadores en Ciencias de la Computación

WICC 2014 XVI Workshop de Investigadores en Ciencias de la Computación ESTUDIO DE TECNICAS DE DATA MINING APLICADAS AL ANALISIS DE DATOS GENERADOS CON LA METODOLOGIA BLENDED LEARNING Marcelo Omar Sosa, Sosa Bruchmann Eugenia Cecilia Departamento Computación/Facultad de Ciencias

Más detalles

DATOS PERSONALES Nombre completo: José Alberto Márquez Domínguez. Correo electrónico: albertomarquez@unca.edu.mx

DATOS PERSONALES Nombre completo: José Alberto Márquez Domínguez. Correo electrónico: albertomarquez@unca.edu.mx DATOS PERSONALES Nombre completo: José Alberto Márquez Domínguez Correo electrónico: albertomarquez@unca.edu.mx FORMACIÓN ACADÉMICA Grado: Maestría en Ciencias de la Computación. Área de especialidad:

Más detalles

Comisión Interministerial de Ciencia y Tecnología. Curriculum vitae

Comisión Interministerial de Ciencia y Tecnología. Curriculum vitae Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Nombre:MERCEDES QUERO GERVILLA Fecha:12/01/2008 Plan Nacional de I+D+I (2008-2011) ATENCION: Deben firmarse al margen todas las hojas

Más detalles

CURRICULUM VITAE JAIME CUBAS LÓPEZ

CURRICULUM VITAE JAIME CUBAS LÓPEZ CURRICULUM VITAE JAIME CUBAS LÓPEZ Becario de la Universidad Carlos III de Madrid Sus principales línea de investigación son la organización del conocimiento para el estudio de la Historia del Tiempo Presente.

Más detalles

Extracción Automática de Conocimiento en Bases de Datos e Ingeniería del Software

Extracción Automática de Conocimiento en Bases de Datos e Ingeniería del Software Extracción Automática de Conocimiento en Bases de Datos e Ingeniería del Software Mª. José Ramírez Quintana José Hernández Orallo Programa: Programación Declarativa e Ingeniería de la Programación Objetivos

Más detalles

Comisión Interministerial de Ciencia y Tecnología Curriculum vitae

Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Nombre: Sergio Ramírez Ramírez Fecha: 09/01/2008 Apellidos: Ramírez Ramírez Nombre: Sergio Situación profesional actual Organismo: Universidad

Más detalles

CURRICULUM VITAE. Cursos de T ecnologías de conocimiento; Murcia España, año 2004. Facultad de Informática de la Universidad de Murcia

CURRICULUM VITAE. Cursos de T ecnologías de conocimiento; Murcia España, año 2004. Facultad de Informática de la Universidad de Murcia CURRICULUM VITAE A) Datos Personales Nombres y Apellidos: Sandra Lisdee Benítez Uzcátegui. Cédula de Identidad: 8.042.900. Lugar y Fecha de Nacimiento: La Azulita, Estado Mérida. Fecha: 25 de Agosto de

Más detalles

CURRÍCULUM VITAE IMPRESO NORMALIZADO Número de hojas que contiene: 12

CURRÍCULUM VITAE IMPRESO NORMALIZADO Número de hojas que contiene: 12 ANEXO 4 CURRÍCULUM VITAE IMPRESO NORMALIZADO Número de hojas que contiene: 12 Nombre: MARTA ORMAZÁBAL GOENAGA Fecha: 7 de enero de 2014 Firma: El arriba firmante declara que son ciertos los datos que figuran

Más detalles

Tablas de convalidación de Titulaciones Antiguas a Grados ETSII, URJC

Tablas de convalidación de Titulaciones Antiguas a Grados ETSII, URJC INGENIERO EN (PLAN ANTIGUO) FUNDAMENTOS DE LOS MATEMÁTICA DISCRETA Y ÁLGEBRA INTRODUCCIÓN A LA LÓGICA MATEMÁTICA LÓGICA CÁLCULO LENGUAJES INFORMATICOS ESTRUCTURAS DE DATOS FUNDAMENTOS DE REDES DE ORDENADORES

Más detalles

Currículum vítae. Nombre: Iago Rodríguez Palmeiro

Currículum vítae. Nombre: Iago Rodríguez Palmeiro Currículum vítae Nombre: Iago Rodríguez Palmeiro 09/07/2014 Apellidos: Rodríguez Palmeiro Nombre: Iago DNI: 33549200C Fecha de nacimiento : 22/12/1985 Sexo: Varón Situación profesional actual Organismo:

Más detalles

CURRICULUM VITAE (3-2-2012)

CURRICULUM VITAE (3-2-2012) CURRICULUM VITAE (3-2-2012) DATOS PERSONALES NOMBRE: BEATRIZ APELLIDOS: SÁENZ DE JUBERA HIGUERO PRINCIPALES DATOS ACADÉMICOS DOCTORA EN DERECHO por la Universidad de La Rioja. Tesis defendida el 14 de

Más detalles

Curriculum vitae Rafael Zancan Frantz Noviembre de 2008

Curriculum vitae Rafael Zancan Frantz Noviembre de 2008 Curriculum vitae Rafael Zancan Frantz Noviembre de 2008 1 Datos personales Apellidos: Zancan Frantz Nombre: Rafael Sexo: Varón Pasaporte: CT 819736 NIE: X-08402302-B Fecha de nacimiento: 29/07/1979 Lugar

Más detalles

CURRICULUM VITAE. José Barranquero Tolosa

CURRICULUM VITAE. José Barranquero Tolosa CURRICULUM VITAE Nombre: José Barranquero Tolosa Dirección: Oviedo (Asturias) Correo electrónico: barranquero@gmail.com Página personal: http://www.josebarranquero.com Blog académico: http://josebarranquero.blogspot.com

Más detalles

Ministerio de Ciencia e Innovación Curriculum vitae

Ministerio de Ciencia e Innovación Curriculum vitae Ministerio de Ciencia e Innovación Curriculum vitae Nombre: Cristina Santos Ozores 15/03/2012 Apellidos: Santos Ozores Nombre: Cristina DNI: 71952198-X Fecha de nacimiento : 19/11/1987 Sexo: F Situación

Más detalles

Información personal CARGOS DESEMPEÑADOS

Información personal CARGOS DESEMPEÑADOS Curriculum Vitae Información personal Apellido(s) / Nombre(s) Dirección (direcciones) Correo(s) electrónico(s) Vella Ramírez, Mercedes Edif. Gregor Mendel. Campus de Rabanales mvella@uco.es Nacionalidad

Más detalles

Curriculum Vitae. Ministerio de Economía y Competitividad Secretaría de Estado de Investigación, Desarrollo e Innovación

Curriculum Vitae. Ministerio de Economía y Competitividad Secretaría de Estado de Investigación, Desarrollo e Innovación Ministerio de Economía y Competitividad Secretaría de Estado de Investigación, Desarrollo e Innovación Curriculum Vitae Nombre: Roberto Sánchez Sánchez Fecha: Mayo 2014 1 Apellidos: SÁNCHEZ SÁNCHEZ Nombre:

Más detalles

GUÍA DOCENTE DE LA ASIGNATURA

GUÍA DOCENTE DE LA ASIGNATURA Página de 5 DESCRIPCIÓN DE LA Grado/Máster en: Centro: Asignatura: Código: Tipo: Materia: Módulo: Experimentalidad: Idioma en el que se imparte: Castellano Curso: Semestre: Nº Créditos 4.5 Nº Horas de

Más detalles

La investigación en verificación formal - un estado del arte

La investigación en verificación formal - un estado del arte Tipo de artículo: Artículo de revisión Temática: Tecnologías de bases de datos Recibido: 11/03/2013 Aceptado: 6/09/2013 La investigación en verificación formal - un estado del arte Research on formal verification

Más detalles

APELLIDOS Y NOMBRE: RODRIGUEZ QUESADA, ADELA ANDREA. Líneas de investigación

APELLIDOS Y NOMBRE: RODRIGUEZ QUESADA, ADELA ANDREA. Líneas de investigación APELLIDOS Y NOMBRE: RODRIGUEZ QUESADA, ADELA ANDREA Líneas de investigación La trayectoria investigadora se ha desarrollado en los siguientes campos: La Educación Infantil, Formacion del profesorado Atencion

Más detalles

Tesis Doctoral: Método Neuro-Genético para resolver problemas de la programación de la producción.

Tesis Doctoral: Método Neuro-Genético para resolver problemas de la programación de la producción. EDUCACION New Mexico State University, Las Cruces NM. Doctor en Ingeniería con especialidad en Ingeniería Industrial. 1999-2002 Asesor: Dr. Linda Ann Riley Tesis Doctoral: Método Neuro-Genético para resolver

Más detalles

6. CONTRIBUCIÓN A LA FORMACIÓN PROFESIONAL Y FORMACIÓN GENERAL Esta disciplina contribuye al logro de los siguientes resultados de la carrera:

6. CONTRIBUCIÓN A LA FORMACIÓN PROFESIONAL Y FORMACIÓN GENERAL Esta disciplina contribuye al logro de los siguientes resultados de la carrera: Universidad Católica San Pablo Facultad de Ingeniería y Computación Programa Profesional de Ciencia de la Computación SILABO CS360. Computación Bioinspirada (Electivo) 2012-2 1. DATOS GENERALES 1.1 CARRERA

Más detalles

Comisión Interministerial de Ciencia y Tecnología. Curriculum vitae. Nombre: David Carrera Pérez

Comisión Interministerial de Ciencia y Tecnología. Curriculum vitae. Nombre: David Carrera Pérez Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Nombre: David Carrera Pérez Fecha: 01/11/2006 Apellidos: Carrera Pérez Nombre: David DNI: 38109007P Fecha de nacimiento : 15/05/1979 Sexo:

Más detalles

Curriculum vitae. Perteneciente a: MCs. Ing. EDUARDO CASANOVAS

Curriculum vitae. Perteneciente a: MCs. Ing. EDUARDO CASANOVAS Curriculum vitae Perteneciente a: MCs. Ing. EDUARDO CASANOVAS 2014 CURRICULUM VITAE Apellido y Nombres: Casanovas Eduardo Esteban e-mail: ecasanovas@iua.edu.ar Cel: 0351-155-426291 FORMACIÓN PROFESIONAL

Más detalles

Inteligencia Artificial. Grado en INFORMÁTICA 4º curso. Modalidad: Presencial

Inteligencia Artificial. Grado en INFORMÁTICA 4º curso. Modalidad: Presencial Grado en INFORMÁTICA 4º curso Modalidad: Presencial Sumario Datos básicos 3 Breve descripción de la asignatura 4 Requisitos previos 4 Objetivos 4 Competencias 5 Contenidos 6 Metodología 6 Criterios de

Más detalles

GUÍA DOCENTE. Curso Académico 2015/16. Técnicas de Análisis Estadístico basado en Inteligencia

GUÍA DOCENTE. Curso Académico 2015/16. Técnicas de Análisis Estadístico basado en Inteligencia GUÍA DOCENTE Curso Académico 2015/16 1. Técnicas de Análisis Estadístico basado en Inteligencia Artificial 1.1. Datos de la asignatura Tipo de estudios Titulación Nombre de la asignatura Carácter de la

Más detalles

MARIA DE LOS ANGELES GARROTE DE MARCOS Fecha del documento: 10/09/2014 v 1.3.0 adb7c401bcf88f715be4c314b5a7ec6b

MARIA DE LOS ANGELES GARROTE DE MARCOS Fecha del documento: 10/09/2014 v 1.3.0 adb7c401bcf88f715be4c314b5a7ec6b MARIA DE LOS ANGELES GARROTE DE MARCOS Fecha del documento: 10/09/2014 v 1.3.0 adb7c401bcf88f715be4c314b5a7ec6b Este fichero electrónico (PDF) contiene incrustada la tecnología CVN (CVN-XML). La tecnología

Más detalles

FORMACIÓN ACADÉMICA. 2004 Licenciada en Filosofía por la Universidad de Salamanca

FORMACIÓN ACADÉMICA. 2004 Licenciada en Filosofía por la Universidad de Salamanca CURRICULUM VITAE NOELIA GONZALEZ CAMARA Investigadora contratada predoctoral C/ Albasanz, 26-28 28037 Madrid Instituto de Filosofía CCHS- CSIC Departamento de Filosofía Práctica Líneas de trabajo Filosofía

Más detalles

SELECCION AUTOMATICA DE ALGORITMO DE ASIGNACION PARA GENERAR CODIGO PARALELO EFICIENTE

SELECCION AUTOMATICA DE ALGORITMO DE ASIGNACION PARA GENERAR CODIGO PARALELO EFICIENTE CONICYT: Repositorio Institucional: Ficha de Iniciativa de CIT (Ciencia, Tecnología e Innovación) 1 FONDECYT-REGULAR - 2000-1000074 SELECCION AUTOMATICA DE ALGORITMO DE ASIGNACION PARA GENERAR CODIGO PARALELO

Más detalles

GUÍA PARA MÉDICOS DOCENTES HOSPITAL UNIVERSITARIO QUIRÓN MADRID

GUÍA PARA MÉDICOS DOCENTES HOSPITAL UNIVERSITARIO QUIRÓN MADRID HOSPITAL UNIVERSITARIO QUIRÓN MADRID INTRODUCCIÓN: Convenio Hospital Universitario Quirón Madrid y Universidad Europea de Madrid, tienen establecido un convenio de colaboración para la docencia en medicina,

Más detalles

Bibliografía Anotada

Bibliografía Anotada Maestría en Ingeniería de Sistemas y Computación Universidad Nacional de Colombia Bogotá D.C. June 2, 2006 Contenido Tema Amplio 1 Tema Amplio 2 3 4 5 Tema Tema Amplio Extracción de información y obtención

Más detalles

Distinciones Núcleo Académico Básico

Distinciones Núcleo Académico Básico MAESTRÍA EN INFORMÁTICA Y TECNOLOGÍAS COMPUTACIONALES Distinciones Núcleo Académico Básico Año Nombre del profesor Título de la distinción 2010 ARÉVALO Summa Cum Laude MERCADO,CARLOS 2013 GARZA GONZALEZ,LAURA

Más detalles

Refrendo. En este documento se presenta el curriculum vitae del Dr. Manuel-Alonso Castro Gil.

Refrendo. En este documento se presenta el curriculum vitae del Dr. Manuel-Alonso Castro Gil. Curriculum Vitae Refrendo En este documento se presenta el curriculum vitae del Dr. Manuel-Alonso Castro Gil. El abajo firmante se responsabiliza de la veracidad de los datos contenidos en este curriculum

Más detalles

DOBLE GRADO EN INGENIERÍA INFORMATICA Y ADMINISTRACIÓN DIRECCION DE EMPRESA

DOBLE GRADO EN INGENIERÍA INFORMATICA Y ADMINISTRACIÓN DIRECCION DE EMPRESA DOBLE GRADO EN INGENIERÍA INFORMATICA Y ADMINISTRACIÓN DIRECCION DE EMPRESA RESUMEN INFORME ANUAL DE RESULTADOS CURSO ACADÉMICO 2013-14 INGRESO Y MATRICULACIÓN NOTA DE CORTE 2013-14 JUNIO 9.77 9.92 (Nota:

Más detalles

ANEXO I. PLAZAS 1 FACULTAD DE FÍSICA Departamento: 175 Física Aplicada y Electromagnetismo Área: 385 Física Aplicada Plaza/s: 6084 Categoría: Profesor/a asociado/a Dedicación 6 + 6 horas Nº de plazas:

Más detalles

Líneas de I+D+I del Laboratorio de Investigación y Desarrollo en Ingeniería de Explotación de Información (LIDIEI GISI UNLa)

Líneas de I+D+I del Laboratorio de Investigación y Desarrollo en Ingeniería de Explotación de Información (LIDIEI GISI UNLa) Líneas de I+D+I del Laboratorio de Investigación y Desarrollo en Ingeniería de Explotación de Información (LIDIEI GISI UNLa) R. García-Martínez, D. Rodríguez, E. Baldizzoni, S. Martins Grupo Investigación

Más detalles

Formación individualizada en Ingeniería basada en tareas: seis años de nuevas experiencias

Formación individualizada en Ingeniería basada en tareas: seis años de nuevas experiencias Formación individualizada en Ingeniería basada en tareas: seis años de nuevas experiencias Gabriel Díaz¹, Elio Sancristobal¹, Alberto Pesquera¹, Félix García-Loro¹, Mohamed Tawfik¹, Rosario Gil¹, Sergio

Más detalles

9. Experiencia Laboral Anterior a la Actividad Docente. 1. Datos personales

9. Experiencia Laboral Anterior a la Actividad Docente. 1. Datos personales CURRÍCULUM VITAE MODELO NORMALIZADO Nombre y apellidos: Clemente Martín Muñoz Fecha: Marzo 2013 TABLA CONTENIDO DEL CURRICULUM 1. Datos personales 2. Situación profesional actual 3. Formación Académica

Más detalles

Doctorado en Ingeniería Informática Doctorado en Ingeniería Informática grado de Doctor en Ingeniería Informática

Doctorado en Ingeniería Informática Doctorado en Ingeniería Informática grado de Doctor en Ingeniería Informática La Escuela de Ingeniería Informática de la Pontificia Universidad Católica de Valparaíso abre las postulaciones al programa de Doctorado en Ingeniería Informática, versión Agosto de 2014. Doctorado en

Más detalles

CURRÍCULUM VITAE RESUMIDO. César Rodríguez Gutiérrez e-mail: crodri@uniovi.es. Oviedo, 1 de noviembre de 2004

CURRÍCULUM VITAE RESUMIDO. César Rodríguez Gutiérrez e-mail: crodri@uniovi.es. Oviedo, 1 de noviembre de 2004 CURRÍCULUM VITAE RESUMIDO César Rodríguez Gutiérrez e-mail: crodri@uniovi.es Oviedo, 1 de noviembre de 2004 CATEGORÍA ACTUAL DEDICACIÓN DEPARTAMENTO ACTUAL ÁREA DE CONOCIMIENTO : Profesor Titular de Universidad

Más detalles

Propuesta de una arquitectura para la generación de mutantes de orden superior en WS-BPEL

Propuesta de una arquitectura para la generación de mutantes de orden superior en WS-BPEL Propuesta de una arquitectura para la generación de mutantes de orden superior en WS-BPEL Emma Blanco Muñoz, Antonio García Domínguez, Juan José Domínguez Jiménez, Inmaculada Medina Bulo Escuela Superior

Más detalles

CURRICULUM. : Javier Enrique Vidal Valenzuela. Fecha de nacimiento : 3 de Octubre de 1965

CURRICULUM. : Javier Enrique Vidal Valenzuela. Fecha de nacimiento : 3 de Octubre de 1965 CURRICULUM I. ANTECEDENTES PERSONALES Nombre Nacionalidad Carnet de identidad Estado Civil : Javier Enrique Vidal Valenzuela : Chilena : 9.413.058-1, Concepción : Casado, dos hijos Fecha de nacimiento

Más detalles

Investigación de Operaciones (IO) Operations Research

Investigación de Operaciones (IO) Operations Research Investigación de Operaciones (IO) Operations Research Dr. Ricardo Soto [ricardo.soto@ucv.cl] [http://www.inf.ucv.cl/ rsoto] Escuela de Ingeniería Informática Pontificia Universidad Católica de Valparaíso

Más detalles

AURA BEATRIZ ALVARADO GAONA Ingeniera de Sistemas Especialista en Ingeniería de Software Magíster en Tecnologías de la Información aplicadas a la

AURA BEATRIZ ALVARADO GAONA Ingeniera de Sistemas Especialista en Ingeniería de Software Magíster en Tecnologías de la Información aplicadas a la AURA BEATRIZ ALVARADO GAONA Ingeniera de Sistemas Especialista en Ingeniería de Software Magíster en Tecnologías de la Información aplicadas a la Educación Candidata a Doctora en Ingeniería Informática

Más detalles

Escuela Técnica Superior de Ingeniería. Informática. Grado en Ingeniería Informática

Escuela Técnica Superior de Ingeniería. Informática. Grado en Ingeniería Informática Escuela Técnica Superior de Ingeniería Informática Grado en Ingeniería Informática GUÍA DOCENTE DE LA ASIGNATURA: Gestión de Proyectos Informáticos Curso Académico 2013/2014 Fecha: Mayo 2013 1. Datos Descriptivos

Más detalles

Ingeniero de Sistemas, Universidad Católica Santa María, Arequipa, Perú (1998)

Ingeniero de Sistemas, Universidad Católica Santa María, Arequipa, Perú (1998) Universidad Católica San Pablo Facultad de Ingeniería y Computación Programa Profesional de Ciencia de la Computación SILABO CS392. Tópicos en Ingeniería de Software (Electivo) 2013-2 1. DATOS GENERALES

Más detalles

GUÍA DOCENTE PROCESADORES DE LENGUAGE

GUÍA DOCENTE PROCESADORES DE LENGUAGE Año académico 2015-16 GUÍA DOCENTE PROCESADORES DE LENGUAGE Profesorado: Jordi Planes Cid Maria Teresa Alsinet Bernadó Información general de la asignatura Denominación Carácter PROCESADORES DE LENGUAGE

Más detalles

TIPOLOGIA SUBTIPOLOGíA ITEM SUBITEM Actividad Actividad docente Actividades genéricas docentes Datos CV más relevantes en docencia Actividad

TIPOLOGIA SUBTIPOLOGíA ITEM SUBITEM Actividad Actividad docente Actividades genéricas docentes Datos CV más relevantes en docencia Actividad TIPOLOGIA SUBTIPOLOGíA ITEM SUBITEM Actividad Actividad docente Actividades genéricas docentes Datos CV más relevantes en docencia Actividad Actividad docente Actividades genéricas docentes Otra Actividad

Más detalles

La usabilidad en los estándares internacionales relacionados con calidad: definición, logro y evaluación. Año 2015

La usabilidad en los estándares internacionales relacionados con calidad: definición, logro y evaluación. Año 2015 La usabilidad en los estándares internacionales relacionados con calidad: definición, logro y evaluación Año 2015 Docente Responsable: Dr. Francisco Montero. (UCLM-España) Docente Asistente: Dra. María

Más detalles