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: bonet@lsi.upc.edu 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