Curriculum Vitae

María Luisa Bonet Carbonell

1. Datos Personales

2. Títulos Académicos

3. Puestos Docentes y de Investigación

4. Actividad Investigadora

5. Actividad Docente Desempeñada

6. Publicaciones: Libros y Capítulos de Libro

7. Publicaciones: Artículos de Revista

8. Artículos en Proceso de Revisión

9. Artículos de Congresos

10. Comunicaciones y Ponencias Presentadas a Congresos

11. Becas, Ayudas y Premios Recibidos

12. Otros Méritos Docentes y de Investigación

13. Cargos Académicos

14. Otros Méritos

1. Datos Personales

Apellidos y Nombre: Bonet Carbonell, María Luisa
DNI: 35.034.568
Lugar de Nacimiento: Barcelona Fecha de Nacimiento: 28 - 7 - 60
Dirección: Can Biosca 2A, 2$^o$ 3$^a$, 08960 Sant Just Desvern, Barcelona
Teléfono: 93 371 69 74


N$^o$ de Funcionario: 3503456824 A0504
Categoría Profesional: Titular de Universidad
Fecha de Inicio: 1 - 2 - 97
Organismo: Universitat Politècnica de Catalunya (UPC)
Facultad/Escuela/Instituto: Facultat d'Informàtica de Barcelona (FIB)
Departamento: Llenguatges i Sistemes Informàtics (LSI)
Dirección: Jordi Girona Salgado 1-3, 08034 Barcelona
Teléfono: 93 401 73 40
Fax: 93 401 70 14
Correo Electrónico: bonet@lsi.upc.es
URL: http://www.lsi.upc.es/~bonet

2. Títulos Académicos

Titulaciones Centro Fecha
Licenciada en Filosofía Universidad de Barcelona Junio 1984
Master en Matemáticas Universidad de California, Berkeley Enero 1987
Doctora en Matemáticas Universidad de California, Berkeley Junio 1991
  Directores: Samuel Buss y Leo Harrington  

3. Puestos Docentes y de Investigación

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
TEU UPC Septiembre 95 - Enero 97
TU UPC Febrero 97 - Actualidad

4. Actividad Investigadora

Área y Grupo de Investigación

Nuestro grupo de investigación está compuesto por Nicola Galesi (TU del departamento), Albert Atserias (Prof. Asociado del dept.), Juan Luis Esteban (Prof. Asociado del dept.) y dirigido por la candidata. De forma parcial también participan Jordi Levy (científico titular del CSIC), Ricard Gavaldà (TU del dept.), Victor Dalmau (Prof. Asociado de la UPF) y Carlos Domingo (actualmente en Japón).
También mantenemos una colaboración continuada con Toniann Pitassi (Univ. de Toronto, Canadá), Sam Buss (Univ. de California, San Diego), Ran Raz (Weismann Institute de Israel), Phokion Kolaitis (Univ. de California, Santa Cruz), Jacobo Torán (Univ. de Ulm, Alemania), Tandy Warnow (Univ. de Tejas, Austin) todos ellos full professor (catedrático) o similares, y una extensa lista de otros colaboradores.

Un subconjunto de las personas anteriormente citadas forman parte del Grupo de Investigación en Lógica y Programación de la UPC, del cual la candidata es una de las personas de contacto.

Los temas abordados por nuestro grupo se engloban en la lógica y la informática, en concreto en la complejidad y algorítmica. Los temas concretos son:

También hemos trabajado en temas de biología computacional.

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-9403447
    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: HA2000-41
    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
    Entidad Financiadora: Ministerio de Ciencia y Tecnología, TIC
    Número de Proyecto: TIC2001-1577-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
    Entidad Financiadora: Ministerio de Ciencia y Tecnología, Tecnologías de la Producción y las Comunicaciones
    Número de Proyecto: TIN2004-04343
    Duración desde: Enero 2005 hasta: Diciembre 2008
    Investigador Principal: María Luisa Bonet

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-8902480
    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: TIC98-0410-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: PB98-0937-C04-03
    Duración desde: Enero 2000 hasta: Diciembre 2002
    Investigador Principal: José Luis Balcázar Navarro

Tesis Doctorales Dirigidas

  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 (co-dirigida 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 (co-dirigida con Jacobo Torán)
    Universidad: UPC
    Facultad/Escuela: Informática
    Año: 2004
    Calificación: Sobresaliente Cum Laude

Participación en Comités de Programa

  1. Miembro del Comité de Programa del 43th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2002).
    Ver http://www.cs.princeton.edu/focs02/

  2. Miembro del Comité de Programa del 18th IEEE Conference on Computational Complexity (CCC 2003).
    Ver http://www.brics.dk/Complexity2003/

  3. Miembro del Comité de Programa del 18th Annual IEEE Symposium on Logic in Computer Science (LICS 2003).
    Ver http://www.dcs.ed.ac.uk/home/als/lics/

  4. Miembro del Comité de Programa del 20th IEEE Conference on Computational Complexity (CCC 2005).
    Ver http://facweb.cs.depaul.edu/jrogers/complexity/cfp.htm

  5. Miembro del Comité de Programa del 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006).
    Ver http://www.informatik.hu-berlin.de/lics/lics06/

Participación en Comités Editoriales de Revista

Miembro del Comité Editorial de la Revista Logical Methods in Computer Science (LMCS).
Dana S. Scott, editor-in-chief, Gordon D. Plotkin y Moshe Y. Vardi, Managing editors.
Ver http://www.lmcs-online.org/

5. Actividad Docente Desempeñada

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 1989.
    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 1991.
    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 1992.
    Dirección de proyecto de investigación de un estudiante sobre $\lambda$-cálculo y Programación Funcional.

  5. Profesora en el Mills Summer Institute. Mills College. Verano de 1993.
    Profesora en un seminario de Teoría de Números y Criptografía.

  6. Professor en la University of California, San Diego. Cursos 91-92 y 92-93.
    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 93-94 y 94-95.
    Cursos de la licenciatura de matemáticas sobre: Cálculo, Álgebra Abstracta y Lógica. Curso de doctorado sobre Lógica y Complejidad.

  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, y Lógica de Primer Orden.
    Cursos de la licenciatura de matemáticas sobre: Informática I y II.
    Curso de doctorado sobre Verificación y Lógica.

Premios Docentes

Elaboración de Material Docente

La candidata ha elaborado material docente en forma de apuntes, listas de ejercicios, enunciados y soluciones de prácticas, y exámenes. Parte de este material se encuentra accesible en su página web www.lsi.upc.es/~ bonet/teaching.html. Como muestra, durante los cursos 2002/03 y 2003/04 se ha elaborado el siguiente material:

Además la candidata ha elaborado junto con Glynn Morrill y el estudiante Lluis Marzabal software para la asignatura de ``Introducción a la Lógica'' (ver apartado 15 del currículum).

6. 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ícek
    Título del Libro: ``Arithmetic, Proof Theory and Computational Complexity''
    Páginas: 61-95
    Fecha: 1993
    Editorial: Oxford University Press.
    Download: PostScript or PDF

  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: 30-56
    Fecha: 1995
    Editorial: Birhäuser
    Download: PostScript or PDF

  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: 43-55
    Fecha: 1997
    Editorial: American Mathematical Society, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 37

  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: 115-128
    Fecha: 1998
    Editorial: Lecture Notes in Computer Science, 1414, Springer-Verlag
    Download: PostScript or PDF

7. 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: 688-709
    Fecha: Junio 1993
    Download: PostScript or PDF

  2. 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: 151-155
    Fecha: 1994
    Download: PostScript or PDF

  3. 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: 109-122
    Fecha: 1995
    Download: PostScript or PDF

  4. 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: 708-728
    Fecha: Septiembre 1997
    Download: PostScript or PDF

  5. Autores: María Luisa Bonet, Mike Steel, Tandy Warnow y Shibu Yooseph
    Título: ``Bether Methods for Solving Parsimony and Compatibility''
    Revista: Journal of Computational Biology, 5 (3)
    Páginas: 391-408
    Fecha: 1998
    Download: PostScript or PDF

  6. 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: 103-131
    Fecha: 1999
    Download: PostScript or PDF

  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: 1939-1967
    Fecha: 2000
    Download: PostScript or PDF

  8. Autores: María Luisa Bonet, Juan Luis Esteban, Nicola Galesi and 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: 1462-1484
    Fecha: 2000
    Download: PostScript or PDF

  9. Autores: María Luisa Bonet y Nicola Galesi
    Título: ``Optimality of Size-width Tradeoffs for Resolution''
    Revista: Computational Complexity, 10 (4)
    Páginas: 261-276
    Fecha: 2001
    Download: PostScript or PDF

  10. 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: 136-152
    Fecha: 2002
    Download: PostScript or PDF

  11. 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: 403-414
    Fecha: 2003
    Download: PostScript or PDF

  12. 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: 182-201
    Fecha: 2004
    Download: PostScript or PDF

  13. 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: 47-68
    Fecha: 2004
    Download: PostScript or PDF

8. Artículos en Proceso de Revisión

  1. Autores: Albert Atserias, María Luisa Bonet y Jordi Levy
    Título: ``On Chvatal Rank and Cutting Planes Proofs´´
    Enviado: Aceptado para su publicación en Theoretical Computer Science
    Download: PostScript or PDF

  2. Autores: María Luisa Bonet, Katherine St. John, Ruchi Mahindru y Nina Amenta
    Título: ``Approximating Subtree Distances between Phylogenies´´
    Enviado: En proceso de revisión
    Download: PDF

  3. Autores: María Luisa Bonet, Jordi Levy y Felip Manyà
    Título: ``A Complete Calculus for Max-SAT´´
    Enviado: Preparado para enviar
    Download: PostScript o PDF

9. 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 286-297
    Lugar de Celebración: Amsterdam, Holanda
    Fecha: 15-18 de Julio,1991
    Download: PostScript or PDF

  2. 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 575-584
    Lugar de Celebración: Las Vegas, Nevada, USA
    Fecha: 29 de Mayo al 1 de Junio, 1995
    Download: PDF

  3. 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 220-229
    Lugar de Celebración: Philadelphia, Pennsylvania, USA
    Fecha: 20-24 de Mayo, 1996
    Download: PDF

  4. 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, 1997. páginas 109-119
    Lugar de Celebración: Aarhus, Denmark
    Fecha: 23-29 de Agosto, 1997
    Download: PostScript or PDF

  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 254-263
    Lugar de Celebración: Miami Beach, Florida, USA
    Fecha: 20-22 de Octubre, 1997
    Download: PostScript or PDF

  6. Autores: María Bonet, Mike Steel, Tandy Warnow y Shibu Yooseph
    Título: ``Bether 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 40-49
    Lugar de Celebración: Nueva York, USA
    Fecha: 22-25 de Marzo, 1998
    Download: PostScript or PDF

  7. 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 638-647
    Lugar de Celebración: Palo Alto, California, USA
    Fecha: 8-11 de Noviembre, 1998
    Download: PostScript or PDF

  8. 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 15-23
    Lugar de Celebración: Atlanta, Georgia, USA
    Fecha: 4-6 de Mayo, 1999
    Download: PostScript or PDF

  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 422-432
    Lugar de Celebración: Nueva York, USA
    Fecha: 17-19 de Octubre, 1999
    Download: PostScript or PDF

  10. 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 1005-1016. Lecture Notes in Computer Science 2076, Springer.
    Lugar de Celebración: Creta, Grecia
    Fecha: 8-12 de Julio, 2001
    Download: PostScript

  11. 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: 22-25 de Septiembre, 2002
    Download: PostScript or PDF

10. Comunicaciones y Ponencias Presentadas a Congresos

La mayoría de las publicaciones incluidas en el apartado de ``Actas de Congresos'' fueron acompañadas por su correspondiente ponencia en el congreso, por parte de la candidata. Además de estas comunicaciones, quiero reseñar únicamente aquellas que podríamos englobar en un apartado de conferencias invitadas por tratarse de conferencias con gastos pagados por el organizador.

Conferencias Invitadas (con gastos pagados por el organizador)

  1. Evento: Workshop on Feasible Mathematics
    Lugar de Presentación: Mathematical Science Institute, Cornell University, USA
    Fecha: 28-30 Mayo, 1992

  2. Evento: Annual Meeting of the Association for Symbolic Logic
    Lugar de Presentación: University of Florida, Gainesville, USA
    Fecha: 5-8 Marzo, 1994

  3. Evento: Mid Atlantic Mathematical Logic Seminar
    Lugar de Presentación: University of Pennsylvania, Philadelphia, USA
    Fecha: 16 Abril, 1994

  4. Evento: Logic and Conputational Complexity. An International Workshop
    Lugar de Presentación: Indianapolis, Indiana, USA
    Fecha: 13-16 Octubre, 1994

  5. Evento: Workshop on Logic and Complexity
    Lugar de Presentación: Bellairs Research Institute, McGill University, Barbados
    Fecha: 6-11 Marzo, 1995

  6. Evento: Workshop on Complexity, Logic and Recursion Theory (Proyecto de la Comunidad Europea)
    Lugar de Presentación: Barcelona, España
    Fecha: 25-29 Marzo, 1996

  7. Evento: Logic Colloquium'96. European Summer Meeting of the Association for Symbolic Logic
    Lugar de Presentación: San Sebastian, España
    Fecha: 9-15 Julio, 1996

  8. Evento: Dagstuhl Seminar on Complexity of Boolean Functions
    Lugar de Presentación: Dagstuhl, Saarbrücken, Alemania
    Fecha: 10-14 Marzo, 1997

  9. Evento: Workshop on Logic and Algorithms: one year later
    Lugar de Presentación: Center for Discrete Mathematics and Computer Science DIMACS, Rutgers University, New Jersey, USA
    Fecha: 23-25 Julio, 1997

  10. Evento: Workshop on Complexity Lower Bounds
    Lugar de Presentación: Fields Institute, Toronto, Canadá
    Fecha: 15-19 Febrero, 1998

  11. Evento: Workshop on Proof Theory and Complexity
    Lugar de Presentación: University of Aarhus. Aarhus, Dinamarca
    Fecha: 3-7 Agosto, 1998

  12. Evento: Logical Complexity Theory Workshop
    Lugar de Presentación: Munich, Alemania
    Fecha: 11-12 Junio, 1999

  13. Evento: UEC Theoretical Computer Science Day
    Lugar de Presentación: University of Electro-Communications. Tokio, Japón
    Fecha: 28 Junio, 1999

  14. Evento: Kyoto Seminar on Theoretical Computer Science
    Lugar de Presentación: Kyoto University. Kyoto, Japón.
    Fecha: 2 Julio, 1999

  15. Evento: Workshop on Intrinsic Complexity of Computation
    Lugar de Presentación: Center for Discrete Mathematics and Computer Science DIMACS, Rutgers University, New Jersey, USA
    Fecha: 10-13 Abril, 2000

  16. Evento: Workshop on Complexity of Proofs and Computations. Special Year on Computational Complexity
    Lugar de Presentación: Institute for Advanced Study, Princeton, New Jersey, USA
    Fecha: 13 Diciembre, 2000

  17. Evento: Workshop on Circuit and Proof Complexity
    Lugar de Presentación: International Centre for Mathematical Sciences, Edinburgh, Gran Bretaña
    Fecha: 1-6 Octubre, 2001

  18. Evento: Mathematische Logik. Main Topic: Implicit Computational Complexity
    Lugar de Presentación: Mathematisches Forschungsinstitut Oberwolfach, Oberwolfach-Walke, Alemania
    Fecha: 7-13 Abril, 2002

  19. Evento: Dagstuhl-Seminar on the Propositional Satisfiability Problem: Algorithms and Lower Bounds (no pude atender)
    Lugar de Presentación: Schloss Dagstuhl. Internationales Begegnungs und Forschungszentrum für Informatik. Germany
    Fecha: 30 de Marzo al 4 de Abril, 2003

11. Becas, Ayudas y Premios Recibidos

Además de los Premios de Docencia anteriormente reseñados en la sección de docencia, deseamos destacar las siguientes becas y ayudas recibidas:

12. Otros Méritos Docentes y de Investigación

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 Pais: USA
    Fecha: Julio 1993 - Julio 1995
    Duración: 2 años
    Tipo de Estancia: Profesora

  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

Revisión de Artículos

La candidata ha sido revisora de diversos artículos para las revistas Journal of Symbolic Logic, Archive for Mathematical Logic, Journal of Pure and Applied Logic, Information Processing Letters, Theoretical Computer Science, Combinatorica, SIAM Journal on Computing, Journal of Computer and System Science (JCSS), etc., para el volumen Feasible Mathematics II editado por Peter Clote y Jeff Remmel en Birkhäuser, para los congresos Complexity, ESA, ICALP, etc.

Otros Méritos Docentes

Dirección de varios Proyectos Finales de Carrera, y dirección del desarrollo de un Sistema Tutor para la Enseñanza de la Lógica. Si se introduce un laboratorio para la asignatura de ``Introducción a la Lógica'', como es muy probable, este software será una parte importante del material didáctico. Personas de otras universidades también han expresado su interés por este software. Vease su descripción en http://www.lsi.upc.es/~bonet/teaching.html

13. Cargos Académicos

  1. Miembro de la Junta de Facultad de Informática de la UPC, durante dos años (2000-2002).

  2. Miembro de la Comisión Permanente de la Junta de Facultad de Informática, durante dos años (2000-2002).

  3. Coordinadora de la asignatura de ``Lógica de Primer Orden'' en la actualidad.

  4. Miembro de la Junta de Facultad de Informática de la UPC en la actualidad.

  5. Miembro de la Comisión de Elaboración de Nuevos Estatutos del Departamento en la actualidad.

14. Otros Méritos

Sexenios

La candidata posee dos sexenios de investigación (tramo 90-95, y tramo 96-01).

Cartas de Recomendación

La candidata incluye cuatro cartas de recomendación (enviadas a la Presidenta del Tribunal), de los profesores:

  1. Samuel R. Buss, Professor of Mathematics and Computer Science, Department of Mathematics, University of California, San Diego, USA.

  2. Stephen Cook, Professor, Department of Computer Science, University of Toronto, Toronto, Canadá.

  3. Jan Krajicek, Professor, Mathematical Institute of the Academy of Sciences of the Czech Republic, República Checa.

  4. Toniann Pitassi, Professor, Department of Computer Science, University of Toronto, Toronto, Canadá.
Todos ellos ocupan cargos equivalentes a Catedrático de Universidad.

Idiomas (R=regular, B=bien, C=correctamente)

Idioma Habla Lee Escribe
Inglés C C C
Francés B C B

Referencias a mis Publicaciones

Como medida del impacto de mi trabajo, incluyo una Lista (incompleta) de referencias a mis Publicaciones.