Curriculum Vitae. María Luisa Bonet Carbonell

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

Download "Curriculum Vitae. María Luisa Bonet Carbonell"

Transcripción

1 Curriculum Vitae María Luisa Bonet Carbonell

2

3 1 Datos Personales Apellidos y Nombre: Bonet Carbonell, María Luisa Lugar de Nacimiento: Barcelona Categoría Profesional: Catedrática de Universidad Organismo: Universitat Politècnica de Catalunya (UPC) Departamento: Llenguatges i Sistemes Informàtics (LSI) Dirección: Jordi Girona Salgado 1-3, Barcelona Teléfono: Fax: Correo Electrónico: URL:

4 2 Títulos Académicos Licenciada en Filosofía Facultad de Filosofía Universidad de Barcelona Junio 1984 Master en Matemáticas Department of Mathematics University of California, Berkeley Enero 1987 Ph.D. in Mathematics Department of Mathematics University of California, Berkeley Junio 1991 Directores: Samuel Buss y Leo Harrington

5 3 Puestos Académicos Categoría Institución Fechas Teaching Assistant Univ. of California, Berkeley Agosto 87 Diciembre 89 Research Assistant Univ. of California, San Diego Enero 90 Diciembre 90 Teaching Assistant Univ. of California, Berkeley Enero 91 Junio 91 Warschawski Assistant Professor Univ. of California, San Diego Julio 91 Julio 93 Lecturer University of Pennsylvania Julio 93 Julio 95 Postdoctoral Fellow Center for Discrete Mathematics and Theoretical Computer Science (DIMACS) Agosto 95 Enero 96 Titular Escuela Univ. Univ. Politècnica Catalunya Septiembre 95 Enero 97 Titular de Universidad Univ. Politècnica Catalunya Febrero 97 Abril 07 Catedrático de Universidad Univ. Politècnica Catalunya Abril 07 Actualidad

6 4 Dirección de Proyectos de I+D Financiados 1. Título del Proyecto: Logical Methods Applied to Complexity Theory Entidad Financiadora: National Science Foundation (NSF), USA Número de Proyecto: CCR Duración desde: Julio 1994 hasta: Julio 1997 Investigador Principal: María Luisa Bonet y Scott Weinstein 2. Título del Proyecto: Complejidad de Algoritmos y Cálculos Lógicos Entidad Financiadora: Ministerio de Ciencia y Tecnología, Acción Integrada con Alemania Número de Proyecto: HA Duración desde: Enero 2001 hasta: Enero 2003 Investigador Principal: Jacobo Torán en Ulm y María Luisa Bonet en Barcelona 3. Título del Proyecto: Lógicas Clásica y Multivaluada: Fundamentos y Aplicaciones Computacionales (Logfac) Entidad Financiadora: Ministerio de Ciencia y Tecnología, TIC Número de Proyecto: TIC C03-02 Duración desde: Diciembre 2001 hasta: Diciembre 2004 Investigador Principal: María Luisa Bonet 4. Título del Proyecto: Fundamentos de la Demostración Automática y la Satisfactibilidad (ideas) Entidad Financiadora: Ministerio de Educación y Ciencia Número de Proyecto: TIN Duración desde: Diciembre 2004 hasta: Diciembre 2007 Investigador Principal: María Luisa Bonet 5. Título del Proyecto: Lógica Multivaluada: Fundamentos y Aplicaciones a Satisfactibilidad, Argumentación y Ontologías Entidad Financiadora: Ministerio de Educación y Ciencia Número de Proyecto: TIN C04-03 Duración desde: Diciembre 2007 hasta: Diciembre 2010 Investigador Principal: María Luisa Bonet

7 5 Participación en Proyectos de I+D Financiados 1. Título del Proyecto: Proof Theory and Computational Complexity Entidad Financiadora: National Science Foundation (NSF), USA Número de Proyecto: DMS Duración desde: Enero 1990 hasta: Julio 1990 Investigador Principal: Samuel Buss 2. Título del Proyecto: Métodos formales para la síntesis y verificación de sistemas concurrentes Entidad Financiadora: CICYT, Tecnologías de la Información y las Comunicaciones Número de Proyecto: TIC C02-01 Duración desde: Enero 1998 hasta: Diciembre 2000 Investigador Principal: Jordi Cortadella 3. Título del Proyecto: FRESCO: FoRmalismos, EStructuras relacionales y COmplejidad Entidad Financiadora: CICYT, Promoción General del Conocimiento Número de Proyecto: PB C04-03 Duración desde: Enero 2000 hasta: Diciembre 2002 Investigador Principal: José Luis Balcázar Navarro

8 6 Dirección de Tesis Doctorales 1. Título: On the Complexity of Propositional Proof Systems Doctorando: Nicola Galesi Universidad: UPC Facultad/Escuela: Informática Año: 2000 Calificación: Sobresaliente Cum Laude 2. Título: The Complexity of Resource-Bounded Propositional Proofs Doctorando: Albert Atserias (codirigida con José Luis Balcázar) Universidad: UPC Facultad/Escuela: Informática Año: 2002 Calificación: Sobresaliente Cum Laude 3. Título: Complexity Measures for Resolution Doctorando: Juan Luis Esteban (codirigida con Jacobo Torán) Universidad: UPC Facultad/Escuela: Informática Año: 2004 Calificación: Sobresaliente Cum Laude

9 7 Participación en Comités de Programa Miembro del Comité de Programa del 43th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2002). Vease Miembro del Comité de Programa del 18th IEEE Conference on Computational Complexity (CCC 2003). Vease Miembro del Comité de Programa del 18th Annual IEEE Symposium on Logic in Computer Science (LICS 2003). Vease Miembro del Comité de Programa del 20th IEEE Conference on Computational Complexity (CCC 2005). Vease Miembro del Comité de Programa del 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006). Vease Participación en Comités Editoriales de Revista Miembro del Comité Editorial de la Revista Logical Methods in Computer Science (LMCS) durante tres años. Dana S. Scott, editor-in-chief, Gordon D. Plotkin y Moshe Y. Vardi, Managing editors. Vease

10 8 Publicaciones: Libros y Capítulos de Libro 1. Autores: María Luisa Bonet Título: The Lengths of Propositional Proofs and the Deduction Rule Fecha: 1991 Editorial: Tesis, University of California, Berkeley. 2. Autores: María Luisa Bonet Título: Number of Symbols in Frege Proofs with and without the Deduction Rule Editores: Peter Clote y Jan Krajíček Título del Libro: Arithmetic, Proof Theory and Computational Complexity Páginas: Fecha: 1993 Editorial: Oxford University Press. 3. Autores: María Luisa Bonet, Samuel R. Buss y Toniann Pitassi Título: Hard Examples for Frege Proof Systems Editores: P. Clote y F. Remmel Título del Libro: Feasible Mathematics II Páginas: Fecha: 1995 Editorial: Birhäuser 4. Autores: María Luisa Bonet, Cynthia Phillips, Tandy Warnow y Shibu Yooseph Título: Inferring Evolutionary Trees from Polymorphic Characters, and an Analysis of the Indo-European Family of Languages Editores: B. Mirkin, F. R. McMorris, F. Roberts y A. Rzhetsky Título del Libro: Mathematical Hierarchies and Biology Páginas: Fecha: 1997 Editorial: American Mathematical Society, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 37

11 9 5. Autores: María Luisa Bonet y Nicola Galesi Título: Linear Lower Bounds and Simulations in Frege Systems with Substitutions Editores: Nielsen y Thomas Título del Libro: Computer Science Logic, 11th International Workshop, CSL 97, Selected Papers Páginas: Fecha: 1998 Editorial: Lecture Notes in Computer Science, 1414, Springer-Verlag 6. Autores: Carlos Ansótegui, María Luisa Bonet, Jordi Levy y Felip Manyà Título: The Logic Behind Weighted CSP Editores: Frederic Benhamou, Narendra Jussien y Barry O Sullivan Título del Libro: Future and Trends in Constraint Programming Páginas: Fecha: 2007 Editorial: ISTE

12 10 Publicaciones: Artículos de Revista 1. Autores: María Luisa Bonet y Samuel R. Buss Título: The Deduction Rule and Linear and Near-linear Proof Simulations Revista: Journal of Symbolic Logic, 58 (2) Páginas: Fecha: Junio Autores: María Luisa Bonet y Samuel R. Buss Título: Size-Depth Tradeoffs for Boolean Formulae Revista: Information Processing Letters, 49 (3) Páginas: Fecha: Autores: María Luisa Bonet y Samuel R. Buss Título: The Serial Transitive Closure Problem for Trees Revista: SIAM Journal of Computing, 24 (1) Páginas: Fecha: Autores: María Luisa Bonet, Toniann Pitassi y Ran Raz Título: Lower Bounds for Cutting Planes Proofs with Small Coefficients Revista: Journal of Symbolic Logic, 62 (3) Páginas: Fecha: Septiembre Autores: María Luisa Bonet, Mike Steel, Tandy Warnow y Shibu Yooseph Título: Better Methods for Solving Parsimony and Compatibility Revista: Journal of Computational Biology, 5 (3) Páginas: Fecha: Autores: María Bonet, Cynthia Phillips, Tandy Warnow, y Shibu Yooseph Título: Constructing Evolutionary Trees in the Presence of Polymorphic Characters Revista: SIAM Journal of Computing, 29 (1) Páginas: Fecha: 1999

13 11 7. Autores: María Luisa Bonet, Toniann Pitassi y Ran Raz Título: On Interpolation and Automatization for Frege Proof Systems Revista: SIAM Journal of Computing, 29 (6) Páginas: Fecha: Autores: María Luisa Bonet, Juan Luis Esteban, Nicola Galesi y Jan Johansen Título: On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems Revista: SIAM Journal of Computing, 30 (5) Páginas: Fecha: Autores: María Luisa Bonet y Nicola Galesi Título: Optimality of Size-width Tradeoffs for Resolution Revista: Computational Complexity, 10 (4) Páginas: Fecha: Autores: Albert Atserias, María Luisa Bonet y Juan Luis Esteban Título: Lower Bounds for the Weak Pigeonhole Principle and Random Formulas Beyond Resolution Revista: Information and Computation, 176 (2) Páginas: Fecha: Autores: María Luisa Bonet y Nicola Galesi Título: Degree Complexity for a Modified Pigeonhole Principle Revista: Archive for Mathematical Logic, 42 (5) Páginas: Fecha: Autores: Albert Atserias y María Luisa Bonet Título: On the Automatizability of Resolution and Related Propositional Proof Systems Revista: Information and Computation, 189 (2) Páginas: Fecha: 2004

14 Autores: María Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel y Toniann Pitassi Título: Non-automatizability of Bounded-depth Frege Proofs Revista: Computational Complexity, 13 Páginas: Fecha: Autores: María Luisa Bonet, Katherine St. John, Ruchi Mahindru y Nina Amenta Título: Approximating Subtree Distances between Phylogenies Revista: Journal of Computational Biology, 13 (8) Páginas: Fecha: Autores: María Luisa Bonet, Jordi Levy y Felip Manyà Título: Resolution for Max-SAT Revista: Artificial Intelligence, 171 (8-9) Páginas: Fecha: Autores: Maria Luisa Bonet and Katherine St. John Título: On the Complexity of uspr Distance Revista: IEEE Transactions on Computational Biology and Bioinformatics Páginas: Accepted for publication. DOI: /TCBB Fecha: 2009

15 13 Artículos de Congresos 1. Autores: María Luisa Bonet y Samuel R. Buss Título: On the Deduction Rule and the Number of Proof Lines Congreso: IEEE Symposium on Logic in Computer Science, LICS 91 Publicación: Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 1991, páginas Lugar de Celebración: Amsterdam, Holanda Fecha: de Julio, Autores: María Luisa Bonet, Toniann Pitassi y Ran Raz Título: Lower Bounds for Cutting Planes with Small Coefficients Congreso: ACM Symposium on the Theory of Computing, STOC 95 Publicación: Proceedings of the 27th ACM Symposium on the Theory of Computing, ACM Press, 1995, páginas Lugar de Celebración: Las Vegas, Nevada, USA Fecha: 29 de Mayo al 1 de Junio, Autores: María Luisa Bonet, Cynthia Phillips, Tandy Warnow, y Shibu Yooseph Título: Constructing Evolutionary Trees in the Presence of Polymorphic Characters Congreso: ACM Symposium on the Theory of Computing, STOC 96 Publicación: Proceedings of the 28th ACM Symposium on the Theory of Computing, ACM Press, 1996, páginas Lugar de Celebración: Philadelphia, Pennsylvania, USA Fecha: de Mayo, Autores: María Luisa Bonet, Nicola Galesi Título: Linear Lower Bounds and Simulations in Frege Systems with Substitutions Congreso: EACSL Annual Conference of the European Association for Computer Science Logic, CSL 97 Publicación: Proceedings of the 11th Annual Conference of the European Association for Computer Science Logic, EACSL Press, páginas Lugar de Celebración: Aarhus, Denmark Fecha: de Agosto, 1997

16 14 5. Autores: María Luisa Bonet, Toniann Pitassi y Ran Raz Título: No Feasible Interpolation for TC 0 -Frege Proofs Congreso: IEEE Symposium on Foundations of Computer Science, FOCS 97 Publicación: Proceedings of the 38th Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, 1997, páginas Lugar de Celebración: Miami Beach, Florida, USA Fecha: de Octubre, Autores: María Bonet, Mike Steel, Tandy Warnow y Shibu Yooseph Título: Better Methods for Solving Parsimony and Compatibility Congreso: ACM Conference on Computational Molecular Biology, RECOMB 98 Publicación: Proceedings of the Second Annual International Conference on Research in Computational Molecular Biology, ACM Press, 1998, páginas Lugar de Celebración: Nueva York, USA Fecha: de Marzo, Autores: María Luisa Bonet, Juan Luis Esteban, Nicola Galesi y Jan Johansen Título: Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems Congreso: IEEE Symposium on Foundations of Computer Science, FOCS 98 Publicación: Proceedings of the 39th Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, 1998, páginas Lugar de Celebración: Palo Alto, California, USA Fecha: 8-11 de Noviembre, Autores: María Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel y Toniann Pitassi Título: Non-automatizability of Bounded-depth Frege Proofs Congreso: IEEE Conference on Computational Complexity, CCC 99 Publicación: Proceedings of the 14th Annual IEEE Conference on Computational Complexity, IEEE Computer Society Press, 1999, páginas Lugar de Celebración: Atlanta, Georgia, USA Fecha: 4-6 de Mayo, 1999

17 15 9. Autores: María Luisa Bonet y Nicola Galesi Título: A Study of Proof Search Algorithms for Resolution and Polynomial Calculus Congreso: IEEE Symposium on Foundations of Computer Science, FOCS 99 Publicación: Proceedings of the 40th Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, 1999, páginas Lugar de Celebración: Nueva York, USA Fecha: de Octubre, Autores: Albert Atserias, María Luisa Bonet y Juan Luis Esteban Título: Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution Congreso: 28th International Colloquium on Automata, Languages and Programming, ICALP 01. Publicación: Proceedings of the 28th International Colloquium on Automata, Languages and Programming, 2001, páginas Lecture Notes in Computer Science 2076, Springer. Lugar de Celebración: Creta, Grecia Fecha: 8-12 de Julio, Autores: Albert Atserias y María Luisa Bonet Título: On the Automatizability of Resolution and Related Propositional Proof Systems Congreso: Annual Conference of the European Association for Computer Science Logic, CSL 02 Publicación: Proceedings of the 16th Annual Conference of the European Association for Computer Science Logic, CSL 02. Lecture Notes in Computer Science 2471, Springer. Lugar de Celebración: Edinburgh, Scotland Fecha: de Septiembre, Autores: María Luisa Bonet, Jordi Levy y Felip Manyà Título: A complete Calculus for Max-SAT Congreso: 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 06 Publicación: Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science 4121, pp Lugar de Celebración: Seattle, USA Fecha: de Agosto, 2006

18 Autores: Carlos Ansótegui, María Luisa Bonet, Jordi Levy y Felip Manyà Título: The Logic behind Weighted CSP Congreso: 20th International Joint Conference on Artificial Intelligence, IJCAI 07 Publicación: Proceedings of the 20th International Joint Conference on Artificial Intelligence. pp Lugar de Celebración: Hyderabad, India Fecha: Enero, Autores: Carlos Ansótegui, María Luisa Bonet, Jordi Levy y Felip Manyà Título: Mapping CSP into Many-Valued SAT Congreso: 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 07 Publicación: Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science Lugar de Celebración: Lisbon, Portugal Fecha: de Mayo, Autores: Carlos Ansótegui, María Luisa Bonet, Jordi Levy y Felip Manyà Título: A Complete Resolution Calculus for Signed Max-SAT Congreso: IEEE International Symposia on Multiple-Valued Logic Publicación: Proceedings of the 37th International Symposium on Multiple- Valued Logic, ISMVL 07. pp. 22 Lugar de Celebración: Oslo, Noruega Fecha: Mayo, Autores: Carlos Ansótegui, María Luisa Bonet, Jordi Levy y Felip Manyà Título: Inference Rules for High-Order Consistency in Weighted CSP Congreso: 22nd AAAI Conference on Artificial Intelligence, AAAI 07 Publicación: Proceedings of the 22nd AAAI Conference on Artificial Intelligence. AAAI press pp Lugar de Celebración: Vancouver, Canada Fecha: de Julio, Autores: Carlos Ansótegui, María Luisa Bonet, Jordi Levy y Felip Manyà Título: Measuring the Hardness of SAT Instances Congreso: 23nd AAAI Conference on Artificial Intelligence, AAAI 08 Publicación: Proceedings of the 23nd AAAI Conference on Artificial Intelligence. AAAI press pp Lugar de Celebración: Chicago, USA Fecha: de Julio, 2008

19 Autores: Carlos Ansótegui, Maria Luisa Bonet y Jordi Levy Título: Solving (Weighted) Partial MaxSAT through Satisfiability Testing Congreso: 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009 Publicación: Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing, SAT LNCS 5584 pp Lugar de Celebración: Swansea, UK Fecha: June 30 - July 3, Autores: Maria Luisa Bonet y Katherine St. John Título: Efficiently Calculating Evolutionary Tree Measures Using SAT Congreso: 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009 Publicación: Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing. LNCS 5584 pp Lugar de Celebración: Swansea, UK Fecha: June 30 - July 3, Autores: Carlos Ansótegui, Maria Luisa Bonet y Jordi Levy Título: Towards Industrial-Like Random SAT Instances Congreso: International Joint Conference on Artificial Intelligence, IJCAI 2009 Publicación: Proceedings of the 21st International Joint Conference on Artificial Intelligence. pp Lugar de Celebración: Pasadena, California, USA Fecha: July 11-17, Autores: Carlos Ansótegui, Maria Luisa Bonet y Jordi Levy Título: On the Structure of Industrial SAT Instances Congreso: International Conference on Principles and Practica of Constraint Programming, CP 2009 Publicación: Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming - CP pp Lugar de Celebración: Lisbon, Portugal Fecha: September 20-24, Autores: Carlos Ansótegui, Maria Luisa Bonet y Jordi Levy Título: A New Algorithm for Weighted Partial MaxSAT Congreso: 24th AAAI Conference on Artificial Intelligence, AAAI 2010 Publicación: Accepted Lugar de Celebración: Atlanta, USA Fecha: July 11-15, 2010

20 18 Estancias en Centros Extranjeros 1. Centro: University of California, Berkeley. Department of Mathematics Localidad: Berkeley Pais: USA Fecha: Agosto 1985 Junio 1991 Duración: 6 años Tipo de Estancia: Teaching Assistant y Estudiante de Doctorado 2. Centro: University of California, San Diego, Department of Mathematics Localidad: San Diego Pais: USA Fecha: Julio 1991 Julio 1993 Duración: 2 años Tipo de Estancia: Profesora 3. Centro: University of Pennsylvania, Department of Mathematics Localidad: Philadelphia Fecha: Julio 1993 Julio 1995 Duración: 2 años Tipo de Estancia: Profesora Pais: USA 4. Centro: Center for Discrete Mathematics and Computer Science (DIMACS) Localidad: New Brunswick, New Jersey Pais: USA Fecha: Agosto 1995 Enero 1996 Duración: 6 meses Tipo de Estancia: Investigadora 5. Centro: University of Pennsylvania, Department of Mathematics Localidad: Philadelphia Pais: USA Fecha: Julio 1996 Septiembre 1996 Duración: 2 meses Tipo de Estancia: Investigadora, financiada por mi proyecto de investigación con la National Science Foundation 6. Centro: University of Arizona, Tucson. Department of Computer Science Localidad: Tucson, Arizona Pais: USA Fecha: Julio 1997 Agosto 1997 Duración: 6 semanas Tipo de Estancia: Investigador, financiada con una beca de estancia corta de la Generalitat de Catalunya

21 19 Becas Fullbright Fellowship, Agosto 85 Agosto 87, Universidad de California, Berkeley, EEUU. Beca de estancia corta de la Generalitat de Catalunya, Julio y Agosto 97, Universidad de Tucson, Arizona, EEUU. Premios Docentes Outstanding Graduate Student Instructor Citation. Department of Mathematics, University of California, Berkeley. Mayo de The Nikki Kose Memorial Teaching Prize. Department of Mathematics, University of California, Berkeley. Mayo de Good Teaching Award. Department of Mathematics, University of Pennsylvania. Abril de Otros Méritos de Investigación Habilitaciones Obtuve la habilitación para catedrático de universidad en la tercera convocatoria de habilitaciones nacionales con código 1/570/0503 y que apareció en el B.O.E. núm. 181 el 30 de julio del Sexenios Tengo reconocidos tres sexenios de investigación (tramo 90 95, tramo y tramo 02 07).

22 20 Puestos Docentes y Asignaturas Impartidas 1.Teaching Assistant en la University of California, Berkeley. Otoño del 87 otoño del 89. Teaching Assistant en clases de Cálculo, Álgebra Lineal y Ecuaciones Diferenciales. 2.Profesora en el Precollege Academy. Berkeley, California. Verano de Programa organizado por MESA y Partnership. Trabajo con estudiantes de bachillerato (high school) de minorías étnicas. 3.Teaching Assistant en Math PDP Summer Program. University of California, Berkeley. Veranos de 1990 y Trabajo con estudiantes de grupos de minorías étnicas en el estudio de temas matemáticos avanzados como Teoría de Campos (1990) y Probabilidad (1991). 4.Profesora en el Howard Hughes Summer Research Program. University of California, San Diego. Verano de Dirección de proyecto de investigación de un estudiante sobre λ-cálculo y Programación Funcional. 5.Profesora en el Mills Summer Institute. Mills College. Verano de Profesora en un seminario de Teoría de Números y Criptografía. 6.Professor en la University of California, San Diego. Cursos y Cursos de la licenciatura de matemáticas sobre: Cálculo, Combinatoria, Gramáticas y Autómatas, Modelos Abstractos de Cálculo, Álgebra Lineal y Ecuaciones Diferenciales, y Teoría de Números. 7.Professor en la University of Pennsylvania. Cursos y Cursos de la licenciatura de matemáticas sobre: Cálculo, Álgebra Abstracta y Lógica. Curso de doctorado sobre Lógica y Complejidad.

23 8.Profesora en la UPC. Cursos 95 96, hasta la actualidad. Cursos de la Ingeniería en Informática sobre: Introducción a la Programación, Prácticas de Programación, Modelos Abstractos de Cálculo, Lenguajes, Gramáticas y Autómatas, Introducción a la Lógica, Lógica de Primer Orden y Compiladores. Cursos de la licenciatura de Matemáticas sobre: Informática I y II. Curso de doctorado sobre Verificación y Lógica. 21

24 22

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

Especificación de sistemas concurrentes usando conceptos de teoría económica: Sintaxis, semántica, aplicaciones y extensiones del lenguaje formal PAMR 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:

Más detalles

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

Datos Académicos del Profesor

Datos Académicos del Profesor Profesor: Dr. Ignacio Requejo Puerto Doctor en Economía de la Empresa, Universidad de Salamanca Profesor Ayudante Doctor, Economía Financiera y Contabilidad Teléfono 923 294763 Fax 923 294715 Email irequejo@usal.es

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

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

LÓGICA COMPUTACIONAL

LÓGICA COMPUTACIONAL LÓGICA COMPUTACIONAL LA MATERIA DE LÓGICA EN LAS INGENIERÍAS INFORMÁTICAS curso 2006-2007 1 Por qué aparece la materia de lógica en informática? 2 Descriptores de lógica en los planes de estudios de informática.

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

Curriculum Vitae: M. Jesús Moreta Santos

Curriculum Vitae: M. Jesús Moreta Santos Titulación académica Curriculum Vitae: M. Jesús Moreta Santos Licenciatura con grado en Matemáticas. Universidad de Valladolid, julio de 2001. Grado de licenciatura (lectura de tesina) obtenido en julio

Más detalles

CURRÍCULUM VITAE 1. DATOS PERSONALES 2. CURRÍCULUM ACADÉMICO: 2.1. TÍTULOS UNIVERSITARIOS

CURRÍCULUM VITAE 1. DATOS PERSONALES 2. CURRÍCULUM ACADÉMICO: 2.1. TÍTULOS UNIVERSITARIOS CURRÍCULUM VITAE 1. DATOS PERSONALES 1.1. Nombre: CARMEN MINUESA ABRIL 1.2. DNI: 08891659C 1.3. Fecha de nacimiento: 25-08-1989. 1.4. Dirección personal: C/Iglesia, Nº 23 06930 Berlanga (Badajoz) 1.5.

Más detalles

4 años de. Susana Muñoz Hernández susana@fi.upm.es Coordinadora del EMCL. http://www.fi.upm.es/master/cl

4 años de. Susana Muñoz Hernández susana@fi.upm.es Coordinadora del EMCL. http://www.fi.upm.es/master/cl 4 años de máster Valoración crítica Susana Muñoz Hernández susana@fi.upm.es Coordinadora del EMCL http://www.fi.upm.es/master/cl Univ. Politécnica de Madrid UPM: univ. técnica española más grande y antigua

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: 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

Lógica y Algorítmica Propuesta Área de Álgebra

Lógica y Algorítmica Propuesta Área de Álgebra Lógica y Algorítmica Propuesta Área de Álgebra ACM Mathematics fundamentals courses CS105 Discrete Structures I This course is taken directly from the CCCS volume. Course description: Introduces the foundations

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

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

Currículum Vitae. 1. Situación Profesional Actual

Currículum Vitae. 1. Situación Profesional Actual Currículum Vitae Nombre: Ignacio Apellidos: Requejo Puerto DNI: 70883918-B Sexo: Varón Fecha de nacimiento: 12 de enero de 1984 (Salamanca) 1. Situación Profesional Actual Organismo: Facultad: Dpto.: Área:

Más detalles

Doctor arquitecto y catedrático de Composición Arquitectónica de la Escuela de Arquitectura de Barcelona (ETSAB-UPC)

Doctor arquitecto y catedrático de Composición Arquitectónica de la Escuela de Arquitectura de Barcelona (ETSAB-UPC) Currículo Vital Josep Maria Montaner Martorell Doctor arquitecto y catedrático de Composición Arquitectónica de la Escuela de Arquitectura de Barcelona (ETSAB-UPC) 1 Actividad investigadora. 1.A Calidad

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

CURRICULUM VITAE. Juan Carlos Martínez Alonso

CURRICULUM VITAE. Juan Carlos Martínez Alonso CURRICULUM VITAE Juan Carlos Martínez Alonso (I). DATOS PERSONALES Apellidos: Martínez Alonso. Nombre: Juan Carlos. Fecha de nacimiento: 2 de Febrero de 1956. Nacionalidad: española. Estado civil: soltero.

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

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

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

Análisis Estático de Programas para la Generación de Computación Ubicua: Inferencia de Tipos

Análisis Estático de Programas para la Generación de Computación Ubicua: Inferencia de Tipos Análisis Estático de Programas para la Generación de Computación Ubicua: Inferencia de Tipos Claudio Vaucheret Departamento de Ciencias de la Computación Universidad Nacional del Comhaue vaucheret@gmail.com

Más detalles

Curriculum Vitae D.T.

Curriculum Vitae D.T. Curriculum Vitae D.T. Noviembre 2013 1 - Datos personales - Nombres y apellidos: Octavio Hugo Malherbe Imbriaco. - E-mail: malherbe@fing.edu.uy. - Area de estudios: Fundamentos de las matemáticas y teoría

Más detalles

[Abbott, 84]: Abbott, E. A (1984). Flatland: A Romance of Many Dimensions. New American Library.

[Abbott, 84]: Abbott, E. A (1984). Flatland: A Romance of Many Dimensions. New American Library. Bibliografía [Abbott, 84]: Abbott, E. A (1984). Flatland: A Romance of Many Dimensions. New American Library. [Aguilera, 98]: Aguilera, Antonio (1998). Orthogonal Polyhedra: Study and Application. Doctoral

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

RELACIÓN DE DOCTORES QUE COMPONEN EL GRUPO

RELACIÓN DE DOCTORES QUE COMPONEN EL GRUPO Matemática e Informática Aplicadas en Ciencias e Ingeniería ÍNDICE: 1. RELACIÓN DE DOCTORES QUE COMPONEN EL GRUPO 2. HISTORIAL DOCENTE EN DOCTORADOUPO 3. TESINAS Y PROYECTOS DE FIN DE CARRERA 4. PUBLICACIONES

Más detalles

CURRICULUM VITAE. José López-Rodríguez

CURRICULUM VITAE. José López-Rodríguez CURRICULUM VITAE José López-Rodríguez JOSE LOPEZ-RODRIGUEZ Fecha de nacimiento: 10 Mayo de 1973 Dirección: Dept. de Análisis Económico y A.D.E Facultad de Ciencias Económicas y Empresariales Campus de

Más detalles

GRADUADO O GRADUADA EN INGENIERÍA TELEMÁTICA

GRADUADO O GRADUADA EN INGENIERÍA TELEMÁTICA Memoria para la solicitud de verificación de Títulos Oficiales según el ANEXO I del REAL DECRETO 1393/2007, de 29 de octubre, por el que se establece la ordenación de las enseñanzas universitarias oficiales.

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

Baremo a emplear en los procesos de selección de los profesores contratados

Baremo a emplear en los procesos de selección de los profesores contratados Baremo a emplear en los procesos de selección de los profesores contratados Aprobado en Consejo de Gobierno de 27 de enero de 2005 1 En el artículo 16.3 de la Resolución de 11 de julio de 2003, de la Dirección

Más detalles

APA proviene de las siglas en inglés (American Psychological Association) (APA, 2015)

APA proviene de las siglas en inglés (American Psychological Association) (APA, 2015) TAREA 3 Estudiante: Ana Lucía Pérez S. 1. Selecciona un estilo de citación: a. ACM. b. APA. c. Chicago. d. IEEE. e. Vancouver. APA APA proviene de las siglas en inglés (American Psychological Association)

Más detalles

HOJA DE VIDA. ESCUELA POLITECNICA NACIONAL, Quito, Ecuador Departamento de Matemática Profesor Principal a Tiempo Completo (desde enero 2011)

HOJA DE VIDA. ESCUELA POLITECNICA NACIONAL, Quito, Ecuador Departamento de Matemática Profesor Principal a Tiempo Completo (desde enero 2011) HOJA DE VIDA Datos personales Nombre: Luis Miguel Torres Carvajal Direccción: Mallorca N24-500 y Salazar Quito, Ecuador Telf.: (+593-2) 322 6787 E-Mail: luis.torres@epn.edu.ec F. nacimiento: 28.02.1973

Más detalles

INTRODUCCIÓN A LA LENGUA DE SIGNOS créditos teóricos

INTRODUCCIÓN A LA LENGUA DE SIGNOS créditos teóricos INTRODUCCIÓN A LA LENGUA DE SIGNOS créditos teóricos Irma Mª Muñoz Baell Departamento de Filología Española, Lingüística General y Teoría de la Literatura Facultad de Educación Universidad de Alicante

Más detalles

Creación y evaluación de modelos LSP en un contexto MDA

Creación y evaluación de modelos LSP en un contexto MDA WICC 2012 433 Creación y evaluación de modelos LSP en un contexto MDA Ana Funes 1, Elizabeth Reinoso 2, Marcelo Castro 2, Aristides Dasso 1, 1 Universidad acional de San Luis, Ejército de los Andes 950

Más detalles

CURRÍCULUM VITAE. De: Judith Panadés Martí

CURRÍCULUM VITAE. De: Judith Panadés Martí CURRÍCULUM VITAE De: Judith Panadés Martí Bellaterra, Septiembre 2011 DATOS PERSONALES Apellidos y nombre: Panadés Martí, Judit Residencia: dirección, localidad y provincia : Calle Reina Elionor, 146-148,

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

Curriculum Vitae. Guadalupe Márquez Campos. 2014 Doctora en Matemáticas con mención internacional por la Universidad de Sevilla.

Curriculum Vitae. Guadalupe Márquez Campos. 2014 Doctora en Matemáticas con mención internacional por la Universidad de Sevilla. Curriculum Vitae Guadalupe Márquez Campos Dirección Avenida de la Reina Mercedes, sn Departamento de Álgebra, Facultad de Matemáticas Universidad de Sevilla Teléfono: (+34)954559870 E-mail: gmarquez@us.es

Más detalles

CONVOCATORIA DE BECAS PARA LA II INTERNATIONAL SUMMER SCHOOL UCA (NUEVOS PLAZOS Y CURSOS) CURSO 2014/2015

CONVOCATORIA DE BECAS PARA LA II INTERNATIONAL SUMMER SCHOOL UCA (NUEVOS PLAZOS Y CURSOS) CURSO 2014/2015 CONVOCATORIA DE BECAS PARA LA II INTERNATIONAL SUMMER SCHOOL UCA (NUEVOS PLAZOS Y CURSOS) CURSO 2014/2015 La convoca un programa específico de 3 BECAS DE MATRÍCULA (para cada curso ofertado) para alumnos

Más detalles

Nombre: Eduardo Mancera Martínez. Nacionalidad: Mexicana Formación Académica Educación Primaria Escuela Primaria Pública Quetzalcóatl.

Nombre: Eduardo Mancera Martínez. Nacionalidad: Mexicana Formación Académica Educación Primaria Escuela Primaria Pública Quetzalcóatl. Nombre: Eduardo Mancera Martínez. Nacionalidad: Mexicana Formación Académica Educación Primaria Escuela Primaria Pública Quetzalcóatl. Educación Secundaria Escuela Prevocacional No. 1 del Instituto Politécnico

Más detalles

CURRICULUM VITAE RUBÉN MULLOR IBÁÑEZ. Septiembre 2009

CURRICULUM VITAE RUBÉN MULLOR IBÁÑEZ. Septiembre 2009 CURRICULUM VITAE Septiembre 2009 1 Datos Personales Nombre: Rubén Mullor Ibáñez Teléfono: 965 90 36 87 Fax: 965 90 36 67 Correo electrónico (e -mail): ruben.mullor@ua.es Formación Académica Licenciatura:

Más detalles

INFORME FINAL PROYECTO FONDECYT REGULAR

INFORME FINAL PROYECTO FONDECYT REGULAR INFORME FINAL GOBIERNO DE CHILE CONICYT FONDECYT PROYECTO FONDECYT REGULAR 2 años 1050701 NÚMERO PROYECTO 1 DURACIÓN 2do año AÑO DE EJECUCIÓN Marcelo Alejandro Arenas Saavedra RUT INVESTIGADOR RESPONSABLE

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

Sergi Elizalde Torrent

Sergi Elizalde Torrent Sergi Elizalde Torrent D.N.I. 46358377-Z Department of Mathematics Nacido en: Barcelona, el 5-8-1979 6188 Bradley Hall, Dartmouth College Avda. Mas Fuster, 69 Hanover, NH 03755-3551, USA 08197 Valldoreix

Más detalles

Puesta en Marcha, Gestión Académica, Financiera y Administrativa

Puesta en Marcha, Gestión Académica, Financiera y Administrativa Puesta en Marcha, Gestión Académica, Financiera y Administrativa Joaquín Huerta Universitat Jaume I de Castellón JORNADAS DE POLÍTICA UNIVERSITARIA ERASMUS MUNDUS, Madrid, de Marzo de 2012 Master in Geospatial

Más detalles

CURRICULUM VITAE. Máster Oficial en Ciencias Políticas y Sociales. Especialidad: Sociodemografía. Universidad Pompeu Fabra.

CURRICULUM VITAE. Máster Oficial en Ciencias Políticas y Sociales. Especialidad: Sociodemografía. Universidad Pompeu Fabra. CURRICULUM VITAE DATOS PERSONALES Nombre y Apellido: Ana Safranoff Dirección Electrónica: anasafranoff@gmail.com Fecha de Nacimiento: 03/04/1985 Nacionalidad: España y Argentina Domicilio: Franklin D.

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

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

Dr. Guillermo de León Adams

Dr. Guillermo de León Adams 1 Datos personales Apellidos y nombre: de León Adams, Guillermo Fecha de nacimiento: 16 de Junio de 1949 e-mail gdeleon@uv.mx 2 Títulos académicos Licenciatura: Actuario (1967-1970), Facultad de Ciencias

Más detalles

GUÍA DOCENTE. Curso Académico 2015/16. Máster Universitario en Métodos de Investigación en Ciencias Económicas y Empresariales

GUÍA DOCENTE. Curso Académico 2015/16. Máster Universitario en Métodos de Investigación en Ciencias Económicas y Empresariales GUÍA DOCENTE Curso Académico 2015/16 1. Modelización 1.1. Datos de la asignatura Tipo de estudios Titulación Nombre de la asignatura Carácter de la asignatura Máster Máster Universitario en Métodos de

Más detalles

Curriculum Vitae Alejandra Garrido

Curriculum Vitae Alejandra Garrido 16 de marzo de 2009 Curriculum Vitae Alejandra Garrido Datos Personales Apellido y Nombre: Lugar de nacimiento: Nacionalidad: Domicilio de trabajo: Email: Home page: Garrido, Alejandra La Plata, Buenos

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

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

ANA ISABEL PÉREZ MUÑOZ Fecha del documento: 02/10/2014 1dc773ffecdfd583ce809426421bd2a5

ANA ISABEL PÉREZ MUÑOZ Fecha del documento: 02/10/2014 1dc773ffecdfd583ce809426421bd2a5 ANA ISABEL PÉREZ MUÑOZ Fecha del documento: 02/10/2014 1dc773ffecdfd583ce809426421bd2a5 Este fichero electrónico (PDF) contiene incrustada la tecnología CVN (CVN-XML). La tecnología CVN de este fichero

Más detalles

UNIVERSIDAD SIMÓN BOLÍVAR Vicerrectorado Académico

UNIVERSIDAD SIMÓN BOLÍVAR Vicerrectorado Académico UNIVERSIDAD SIMÓN BOLÍVAR Vicerrectorado Académico 1.Departamento: COMPUTACIÓN Y TECNOLOGÍA DE LA INFORMACIÓN 2. Asignatura: Tópicos Especiales en Tecnología de la Información: Gestión de Servicios Informáticos

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 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

University of Rochester, Rochester, Nueva York, EE.UU. Docente, septiembre 2006 mayo 2007, verano de 2004, y verano de 2005.

University of Rochester, Rochester, Nueva York, EE.UU. Docente, septiembre 2006 mayo 2007, verano de 2004, y verano de 2005. Çağatay Kayı Dirección: E-mail: kayi.cagatay@urosario.edu.co Universidad del Rosario Teléfono:: +57 1 297 0200 Ext: 4138 Facultad de Economía Teléfono Movil: +57 316 305 6387 Calle 12C # 4 59 Nacionalidad:

Más detalles

CURRICULUM VITAE. Licenciado (B.A.) en Ciencias Matemáticas. Universidad de Zaragoza. Junio de 1978. Premio Extraordinario de Licenciatura

CURRICULUM VITAE. Licenciado (B.A.) en Ciencias Matemáticas. Universidad de Zaragoza. Junio de 1978. Premio Extraordinario de Licenciatura CURRICULUM VITAE NOMBRE José Luis Fernández Pérez FORMACIÓN ACADÉMICA Títulos académicos Licenciado (B.A.) en Ciencias Matemáticas. Universidad de Zaragoza. Junio de 1978. Premio Extraordinario de Licenciatura

Más detalles

IMPLANTES ZIGOMÁTICOS, LA EXPERIENCIA DE 25 AÑOS

IMPLANTES ZIGOMÁTICOS, LA EXPERIENCIA DE 25 AÑOS 2015 2016 Monográfico IMPLANTES ZIGOMÁTICOS, LA EXPERIENCIA DE 25 AÑOS 14, 15 y 16 de enero de 2016 Te ofrecemos un programa teorico-práctico avanzado dentro de un espacio para el encuentro y desarrollo

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

Programación con Restricciones Constraint Programming [MII-771] Capítulo 1: Introducción

Programación con Restricciones Constraint Programming [MII-771] Capítulo 1: Introducción Programación con Restricciones [MII-771] Capítulo 1: Introducción Dr. Ricardo Soto [ricardo.soto@ucv.cl] [http://www.inf.ucv.cl/ rsoto] Escuela de Ingeniería Informática Pontificia Universidad Católica

Más detalles

Alejandro Rago. Experience. Languages. Education. alejandro.rago@gmail.com

Alejandro Rago. Experience. Languages. Education. alejandro.rago@gmail.com Alejandro Rago alejandro.rago@gmail.com Address: San Lorenzo 772 - Apt. 25 Tandil (7000) - Buenos Aires - Argentina Phone: +54-9-249-4611451 Institutional mail: arago@exa.unicen.edu.ar / alejandro.rago@isistan.unicen.edu.ar

Más detalles

Teresa Yolanda Maya Sotomayor C U R R I C U L U M V I T A E

Teresa Yolanda Maya Sotomayor C U R R I C U L U M V I T A E Teresa Yolanda Maya Sotomayor C U R R I C U L U M V I T A E DATOS PERSONALES Nombre completo: Dirección: Teresa Yolanda Maya Sotomayor Reforma Número 6- San Angel Delegación Álvaro Obregón 01000 México,

Más detalles

Curriculum Vitae - Investigador Ricardo Antonio Caroca Lisboa

Curriculum Vitae - Investigador Ricardo Antonio Caroca Lisboa Curriculum Vitae - Investigador Ricardo Antonio Caroca Lisboa Antecedentes Personales Antecedentes Personales Nacionalidad Fecha de Nacimiento 22/01/1962 Género Masculino Datos de Contacto Dirección Laboral

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

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 Noraida Domínguez Flores Catedrática Auxiliar

Curriculum Vitae Noraida Domínguez Flores Catedrática Auxiliar Curriculum Vitae Noraida Domínguez Flores Catedrática Auxiliar Via del valle K- 22 Urb. La Vista San Juan, P.R. 00924 Celular: (787) 810-3142 Oficina: (787) 764-0000 ext. 2994 E- mail: noraida.dominguez@upr.edu

Más detalles

CURRICULUM VITAE DATOS PERSONALES JOSÉ XAVIER CABEZAS GARCÍA. Cédula: 0917573917. Fecha de Nacimiento: 17 de Diciembre de 1976 (34 años)

CURRICULUM VITAE DATOS PERSONALES JOSÉ XAVIER CABEZAS GARCÍA. Cédula: 0917573917. Fecha de Nacimiento: 17 de Diciembre de 1976 (34 años) CURRICULUM VITAE DATOS PERSONALES Nombre: JOSÉ XAVIER CABEZAS GARCÍA Cédula: 0917573917 Fecha de Nacimiento: 17 de Diciembre de 1976 (34 años) Estado civil: Casado Dirección: Bellavista 4 etapa mz 65 v

Más detalles

Grado en Ingeniería Informática

Grado en Ingeniería Informática Primer Curso Primer semestre ESCUELA SUPERIOR DE INGENIERÍA Chile, 1 11002-CÁDIZ Teléfono: 95 015100 Fax: 95 015101 Más información: www.uca.es/ingenieria Itinerario curricular recomendado ENSEÑANZAS Cálculo

Más detalles

Antonio Juárez González

Antonio Juárez González e-mail: antjug@inaoep.mx Antonio Juárez González Información personal Estado civil: Soltero Fecha de nacimiento: 8 de marzo de 1982 Lugar de nacimiento: Tlaxcala, Tlaxcala Nacionalidad: Mexicano CURP:

Más detalles

Francisco Torres Ayala. Departamento de Economía, Universidad Autónoma Metropolitana, Unidad Azcapotzalco, México D.F.

Francisco Torres Ayala. Departamento de Economía, Universidad Autónoma Metropolitana, Unidad Azcapotzalco, México D.F. Francisco Torres Ayala Oficina Departamento de Economía, Universidad Autónoma Metropolitana, Unidad Azcapotzalco, México D.F. Números de teléfono Celular: (52) (442) 423 88 32 e-mail Web page tfrancisco.math@gmail.com

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

Daniel Espinoza. (562)-978-4036 Av. República 701 Santiago, RM, 837-0439 Chile daespino@dii.uchile.cl

Daniel Espinoza. (562)-978-4036 Av. República 701 Santiago, RM, 837-0439 Chile daespino@dii.uchile.cl Daniel Espinoza (562)-978-4036 Av. República 701 Santiago, RM, 837-0439 Chile daespino@dii.uchile.cl Información Personal: Nombre Completo Daniel Gonzalez Espinoza Fecha de Nacimiento 7 Septiembre, 1976

Más detalles

DATOS DE CONTACTO. Otros: Community Management. Universidad Nacional de Educación a Distancia (UNED). 2013.

DATOS DE CONTACTO. Otros: Community Management. Universidad Nacional de Educación a Distancia (UNED). 2013. DATOS DE CONTACTO Apellidos y Nombre: Valdés González Haydée Correo electrónico: hvaldesg10@gmail.com Página Web: www.hvaldesg.com Linked in: Haydée Valdés Research ID: D-8612-2013 D DATOS PERSONALES TOS

Más detalles

Nuestro programa de admission coaching te guiará por todos los pasos necesarios para tener éxito en tu próxima aventura académica.

Nuestro programa de admission coaching te guiará por todos los pasos necesarios para tener éxito en tu próxima aventura académica. AYUDAMOS A ESTUDIANTES A SER ADMITIDOS EN PROGRAMAS DE POSGRADO DE PRESTIGIO Admission coaching Nuestro programa de admission coaching te guiará por todos los pasos necesarios para tener éxito en tu próxima

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

STELLA MARIS SALVATIERRA Curriculum Vitae

STELLA MARIS SALVATIERRA Curriculum Vitae STELLA MARIS SALVATIERRA Curriculum Vitae Datos Personales Nombre y Apellido: Stella Maris Salvatierra DNI: 73.485.073-G Fecha de nacimiento: 1 de mayo de 1965 Domicilio: Urbanización Itaroa, 55 31620

Más detalles

INSTITUTO POLITECNICO NACIONAL

INSTITUTO POLITECNICO NACIONAL INSTITUTO POLITECNICO NACIONAL SECRETARIA DE INVESTIGACIÓN Y POSTGRADO SIP-2 ESCUELA:. Centro de Investigación en Computación (CIC) 1. DATOS GENERALES CURRICULUM VITAE (Llénese a máquina o con letra de

Más detalles

ENNEG683/01 ESTRATEGIA DE BUSINESS INTELLIGENCE

ENNEG683/01 ESTRATEGIA DE BUSINESS INTELLIGENCE ENNEG683/01 ESTRATEGIA DE BUSINESS INTELLIGENCE Profesor: José Antonio Robles Flores, Ph.D. E-mail profesor: jrobles@esan.edu.pe Horario: Lunes 7 a Jueves 10 de Julio, 2014 PRESENTACIÓN DEL CURSO Empresas

Más detalles

Matias Avila Salinas Fecha del documento: 22/11/2013 v 1.3.0 d3a5aa318ef63e709c908d2b3a54231e

Matias Avila Salinas Fecha del documento: 22/11/2013 v 1.3.0 d3a5aa318ef63e709c908d2b3a54231e Matias Avila Salinas Fecha del documento: 22/11/2013 v 1.3.0 d3a5aa318ef63e709c908d2b3a54231e Este fichero electrónico (PDF) contiene incrustada la tecnología CVN (CVN-XML). La tecnología CVN de este fichero

Más detalles

LICENCIATURA: Ciencias Políticas y Sociología. CENTRO: Facultad de Ciencias Políticas y Sociología. Universidad Complutense. Madrid. FECHA: 1989.

LICENCIATURA: Ciencias Políticas y Sociología. CENTRO: Facultad de Ciencias Políticas y Sociología. Universidad Complutense. Madrid. FECHA: 1989. C. V. PATRICIA BARBADILLO GRIÑÁN. 1. FORMACIÓN ACADÉMICA. DOCTORADO: Sociología. CENTRO: Facultad de Ciencias Políticas y Sociología. Universidad Complutense. Madrid. FECHA: 1996. DIRECTOR DE TESIS: Dr.

Más detalles

1.9. Requisitos mínimos de asistencia a las sesiones presenciales / Minimum attendance requirement

1.9. Requisitos mínimos de asistencia a las sesiones presenciales / Minimum attendance requirement ASIGNATURA / COURSE TITLE COMPUTACION II/ COMPUTING II 1.1. Código / Course Number 16402 1.2. Materia / Content area Informática / Computing 1.3. Tipo / Type of Course Formación Básica / Compulsory subject

Más detalles

RUSC. Universities and Knowledge Society Journal E-ISSN: 1698-580X dbindexing@uoc.edu Universitat Oberta de Catalunya España

RUSC. Universities and Knowledge Society Journal E-ISSN: 1698-580X dbindexing@uoc.edu Universitat Oberta de Catalunya España RUSC. Universities and Knowledge Society Journal E-ISSN: 1698-580X dbindexing@uoc.edu Universitat Oberta de Catalunya España Juan, Ángel A.; Huertas, María Antonia; Cuypers, Hans; Loch, Birgit RUSC. Universities

Más detalles

Grado en Ingeniería Informática

Grado en Ingeniería Informática Grado en Ingeniería Informática ESCUELA SUPERIOR DE INGENIERÍA Chile, 1 11002-CÁDIZ Teléfono: 95 015100 Fax: 95 015101 Más información: www.uca.es/ingenieria Itinerario curricular recomendado ENSEÑANZAS

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

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

Francisco Pérez Cutiño

Francisco Pérez Cutiño Francisco Pérez Cutiño Meritocracia Igualdad de oportunidades Eliminación de obstáculos económicos Por qué Contribuir: al crecimiento económico la competitividad internacional y el desarrollo sostenible

Más detalles

Formato de Referenciamiento de Páginas Amarillas / Yellow Pages http://www.unipamplona.edu.co/kmgestiondelconocimiento/

Formato de Referenciamiento de Páginas Amarillas / Yellow Pages http://www.unipamplona.edu.co/kmgestiondelconocimiento/ Formato de Referenciamiento de Páginas Amarillas / Yellow Pages http://www.unipamplona.edu.co/kmgestiondelconocimiento/ Nombres y Apellidos Contacto (E-mail) Cargo Información General Isabel Cristina Satizábal

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. Apellidos: DIEZ SANCHEZ NOMBRE: HENAR DNI: 22720421-D T26EA2C980413P. Ciudad: Baracaldo Distrito Postal: 48901 Teléfono: 944379823

CURRICULUM VITAE. Apellidos: DIEZ SANCHEZ NOMBRE: HENAR DNI: 22720421-D T26EA2C980413P. Ciudad: Baracaldo Distrito Postal: 48901 Teléfono: 944379823 IMPRESO NORMALIZADO Nº3 eman ta zabal zazu UNIVERSIDAD DEL PAIS VASCO VICERRECTORADO DE INVESTIGACIÓN EUSKAL HERRIKO UNIBERTSITATEA IKERKETA ERREKTOREORDETZA CURRICULUM VITAE Apellidos: DIEZ SANCHEZ NOMBRE:

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

Bibliografía. [Al-Kodmany, 2000] Al-Kodmany, Kheir., Extending Geographic Information System to. 12, No.3., pp. 19-34, Summer 2000.

Bibliografía. [Al-Kodmany, 2000] Al-Kodmany, Kheir., Extending Geographic Information System to. 12, No.3., pp. 19-34, Summer 2000. Bibliografía [Al-Kodmany, 2000] Al-Kodmany, Kheir., Extending Geographic Information System to Meet Neighborhood Planning Needs: Recent Developments in the Work of the University of Illinois at Chicago,

Más detalles

Curriculum Vitae DATOS PERSONALES APELLIDOS: NOMBRE:

Curriculum Vitae DATOS PERSONALES APELLIDOS: NOMBRE: Curriculum Vitae DATOS PERSONALES APELLIDOS: NOMBRE: López Lozoya Margarita DNI/NIE: 45364697-A DIRECCIÓN: Calle Concejal García Feo No. 2 Piso 2ªB PROVINCIA: CÓDIGO POSTAL: 35011 TELÉFONO: 928-299719

Más detalles

Carlos Palazuelos. Currículum Vitae AUGUST 2010

Carlos Palazuelos. Currículum Vitae AUGUST 2010 Carlos Palazuelos Currículum Vitae AUGUST 2010 PERSONAL DATA MAILING ADDRESS: Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 W. Green Street, Urbana, IL 61801 EMAIL: cpalazue@illinois.edu

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

David Jordi Vallet Weadon.

David Jordi Vallet Weadon. <david.vallet@uam.es> David Jordi Vallet Weadon 1 Introducción Durante las últimas décadas, la personalización ha sido aplicada en diferentes campos de la informática, tanto en la rama científica como

Más detalles

Computación para Ingeniería

Computación para Ingeniería Computación Para Ingeniería Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Computación para Ingeniería Computación para Ingeniería Lenguajes

Más detalles