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 3, 08960 Sant Just Desvern, Barcelona
Teléfono: 93 371 69 74
N 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:
- Complejidad de demostraciones
- Demostración automática
- Teoría de modelos finitos
- Algoritmos para SAT
También hemos trabajado en temas de biología computacional.
Dirección de Proyectos de I+D Financiados
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Miembro del Comité de Programa del 43th Annual IEEE Symposium on
Foundations of Computer Science (FOCS 2002).
Ver http://www.cs.princeton.edu/focs02/
- Miembro del Comité de Programa del 18th IEEE Conference on Computational
Complexity (CCC 2003).
Ver http://www.brics.dk/Complexity2003/
- 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/
- Miembro del Comité de Programa del 20th IEEE Conference on Computational
Complexity (CCC 2005).
Ver http://facweb.cs.depaul.edu/jrogers/complexity/cfp.htm
- 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
- 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.
- 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.
- 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).
- 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 -cálculo y Programación Funcional.
- Profesora en el Mills Summer Institute. Mills College.
Verano de 1993.
Profesora en un seminario de Teoría de Números y Criptografía.
- 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.
- 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.
- 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
- Outstanding Graduate Student Instructor Citation.
Department of Mathematics, University of California, Berkeley.
Mayo de 1989.
- The Nikki Kose Memorial Teaching Prize.
Department of Mathematics, University of California, Berkeley.
Mayo de 1991.
- Good Teaching Award.
Department of Mathematics, University of Pennsylvania.
Abril de 1995.
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:
- Apuntes de Lógica de Primer Orden
- Ejercicios de Lógica de Primer Orden
- Apuntes de Introducción a la Lógica
- Exercicis d'Introducció a la Lògica (Conjuntamente con Glyn
Morill y Lluis Vila)
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
- Autores: María Luisa Bonet
Título: ``The Lengths of Propositional Proofs and the Deduction Rule''
Fecha: 1991
Editorial: Tesis, University of California, Berkeley.
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Autores: María Luisa Bonet, Toniann Pitassi y Ran Raz
Título: ``No Feasible Interpolation for -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
- 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
- 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
- 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
- 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
- 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
- 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)
- Evento: Workshop on Feasible Mathematics
Lugar de Presentación: Mathematical Science Institute, Cornell University, USA
Fecha: 28-30 Mayo, 1992
- Evento: Annual Meeting of the Association for Symbolic Logic
Lugar de Presentación: University of Florida, Gainesville, USA
Fecha: 5-8 Marzo, 1994
- Evento: Mid Atlantic Mathematical Logic Seminar
Lugar de Presentación: University of Pennsylvania, Philadelphia, USA
Fecha: 16 Abril, 1994
- Evento: Logic and Conputational Complexity. An International Workshop
Lugar de Presentación: Indianapolis, Indiana, USA
Fecha: 13-16 Octubre, 1994
- Evento: Workshop on Logic and Complexity
Lugar de Presentación: Bellairs Research Institute, McGill University, Barbados
Fecha: 6-11 Marzo, 1995
- 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
- 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
- Evento: Dagstuhl Seminar on Complexity of Boolean Functions
Lugar de Presentación: Dagstuhl, Saarbrücken, Alemania
Fecha: 10-14 Marzo, 1997
- 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
- Evento: Workshop on Complexity Lower Bounds
Lugar de Presentación: Fields Institute, Toronto, Canadá
Fecha: 15-19 Febrero, 1998
- Evento: Workshop on Proof Theory and Complexity
Lugar de Presentación: University of Aarhus. Aarhus, Dinamarca
Fecha: 3-7 Agosto, 1998
- Evento: Logical Complexity Theory Workshop
Lugar de Presentación: Munich, Alemania
Fecha: 11-12 Junio, 1999
- Evento: UEC Theoretical Computer Science Day
Lugar de Presentación: University of Electro-Communications. Tokio, Japón
Fecha: 28 Junio, 1999
- Evento: Kyoto Seminar on Theoretical Computer Science
Lugar de Presentación: Kyoto University. Kyoto, Japón.
Fecha: 2 Julio, 1999
- 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
- 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
- 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
- Evento: Mathematische Logik. Main Topic: Implicit Computational Complexity
Lugar de Presentación: Mathematisches Forschungsinstitut Oberwolfach, Oberwolfach-Walke, Alemania
Fecha: 7-13 Abril, 2002
- 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:
- 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.
12. Otros Méritos Docentes y de Investigación
Estancias en Centros Extranjeros
- 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
- 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
- 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
- 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
- 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
- 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
- Miembro de la Junta de Facultad de Informática de la UPC,
durante dos años (2000-2002).
- Miembro de la Comisión Permanente de la Junta de Facultad de Informática,
durante dos años (2000-2002).
- Coordinadora de la asignatura de ``Lógica de Primer Orden'' en la actualidad.
- Miembro de la Junta de Facultad de Informática de la UPC en la actualidad.
- 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:
- Samuel R. Buss,
Professor of Mathematics and Computer Science, Department of
Mathematics, University of California, San Diego, USA.
- Stephen Cook,
Professor, Department of Computer Science, University of Toronto,
Toronto, Canadá.
- Jan Krajicek,
Professor, Mathematical Institute of the Academy of Sciences of the
Czech Republic, República Checa.
- 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.