CURRICULUM VITAE. Juan Carlos Martínez Alonso

Transcripción

1 CURRICULUM VITAE Juan Carlos Martínez Alonso

2 (I). DATOS PERSONALES Apellidos: Martínez Alonso. Nombre: Juan Carlos. Fecha de nacimiento: 2 de Febrero de Nacionalidad: española. Estado civil: soltero. Teléfono: Dirección electrónica: jcmartinez@ub.edu Facultad actual: Ciencias Matemáticas, Universidad de Barcelona. Departamento actual: Probabilidad, Lógica y Estadística. Categoría actual: Catedrático de Universidad. 1

3 (II). TITULACIÓN ACADÉMICA (1) Clase: Doctor. Centro de expedición: Facultad de Matemáticas, Universidad Complutense de Madrid. Fecha de expedición: 17 de Marzo de Título de la tesis: L t -equivalencia. Tema de la tesis: Teoría de Modelos. Calificación: sobresaliente cum laude. Director: Prof. Dr. Jörg Flum, Universidad de Friburgo (Alemania). Ponente: Prof. Dr. Alberto Dou, Universidad Complutense de Madrid. (2) Clase: Licenciado. Centro de expedición: Facultad de Matemáticas, Universidad Complutense de Madrid. Especialidad: Ciencias de la Computación. Fecha de expedición: junio de

4 (III). PUESTOS DESEMPEÑADOS (1) Categoría: Profesor Ayudante. Centro : Facultad de Matemáticas, Universidad Complutense de Madrid. Dedicación: exclusiva. Fecha de nombramiento: Fecha de terminación: (2) Categoría: Profesor Encargado de Curso. Centro : Facultad de Matemáticas, Universidad Complutense de Madrid. Dedicación: exclusiva. Fecha de nombramiento: Fecha de terminación: (3) Categoría: Profesor Colaborador. Centro : Facultad de Matemáticas, Universidad Complutense de Madrid. Dedicación: exclusiva. Fecha de nombramiento: Fecha de terminación: (4) Categoría: Profesor Titular de Universidad. Centro : Facultad de Matemáticas, Universidad Complutense de Madrid. Dedicación: tiempo completo. Fecha de toma de posesión: Fecha de terminación: (5) Categoría: Catedrático de Universidad. Centro : Facultad de Matemáticas, Universidad de Barcelona. Dedicación: tiempo completo. Fecha de toma de posesión: (continúa). 3

5 (IV). ACTIVIDAD DOCENTE DESEMPEÑADA (A). CURSOS IMPARTIDOS DE LICENCIATURA (1) Asignatura: Tecnología de la Programación (clases prácticas). Centro: Facultad de Matemáticas, Universidad Complutense de Madrid. Curso académico: (2) Asignatura: Informática básica. Centro: Facultad de Matemáticas, Universidad Complutense de Madrid. Cursos académicos: a, b, 81-82, 82-83, 83-84, c, 85-86, (a) en colaboración con Luis Bengoechea (b) en colaboración con Mario Rodríguez Artalejo (c) en colaboración con María Inés Fernández Camacho (3) Asignatura: Lógica Matemática. Centro: Facultad de Matemáticas, Universidad Complutense de Madrid. Cursos académicos: 83-84, 84-85, 87-88, 88-89, 89-90, (4) Asignatura: Teoría de Autómatas y Lenguajes Formales. Centro: Facultad de Matemáticas, Universidad Complutense de Madrid. Cursos académicos: 86-87, 87-88, 88-89, 89-90, (5) Asignatura: Teoría de la Computación. Centro: Facultad de Matemáticas, Universidad de Barcelona. Cursos académicos: 91-92,

6 (6) Asignatura: Teoría de Autómatas y Lenguajes Formales. Centro: Facultad de Matemáticas, Universidad de Barcelona. Cursos académicos: 93-94, 94-95, 95-96, 96-97, (7) Asignatura: Lógica para la Informática. Centro: Facultad de Matemáticas, Universidad de Barcelona. Cursos académicos: 93-94, 94-95, 95-96, 96-97, 97-98, 98-99, 99-00, a, a, b, c, c. (a) en colaboración con Enrique Casanovas, Josep Maria Font y Joan Gispert. (b) en colaboración con Josep Maria Font, Joan Gispert y Josep Pla. (c) en colaboración con Josep Maria Font, Joan Gispert y Ventura Verdú. (8) Asignatura: Modelos Computacionales. Centro: Facultad de Matemáticas, Universidad de Barcelona. Cursos académicos: 98-99, 99-00, 00-01, 01-02,02 03 a, a, a, a, a. (a) en colaboración con Enrique Casanovas. (9) Asignatura: Lógica Centro: Escuela de Informática de Sistemas, Universidad de Barcelona. Cursos académicos: a,,03 04 a, b, c, c. (a) en colaboración con Enrique Casanovas, Josep Maria Font y Joan Gispert. (b) en colaboración con Josep Maria Font, Joan Gispert y Josep Pla. (c) en colaboración con Josep Maria Font, Joan Gispert y Ventura Verdú. 5

7 (10) Asignatura: Teoría de Autómatas Centro: Escuela de Informática de Sistemas, Universidad de Barcelona. Cursos académicos: a, a, a,05 06 a, a. (a) en colaboración con Enrique Casanovas. (B). CURSOS IMPARTIDOS DE DOCTORADO (1) Asignatura: El método back and forth en la Lógica formal. Centro: Facultad de Matemáticas, Universidad Complutense de Madrid. Curso académico: (2) Asignatura: Lenguajes formales para la Topología. Centro: Facultad de Matemáticas, Universidad Complutense de Madrid. Curso académico: (3) Asignatura: Relaciones entre la programación lógica y la programación funcional. Centro: Facultad de Matemáticas, Universidad Complutense de Madrid. Cursos académicos: 87-88, 88-89, 89-90, (4) Asignatura: Fundamentos de programación lógica. Centro: Facultad de Filosofía y Ciencias de la Educación, Universidad del País Vasco. Cursos académicos: a, a, 89-90, 90-91, 91-92, (a) en colaboración con Jesús María Larrazabal y Arantxa Zatarain. 6

8 (5) Asignatura: Introducción al forcing. Centro: Facultad de Matemáticas, Universidad de Barcelona. Cursos académicos: 91-92, (6) Asignatura: Resultados de consistencia para álgebras de Boole superatómicas. Centro: Facultad de Matemáticas, Universidad de Barcelona. Curso académico: (7) Asignatura: Teoría de Conjuntos. Centro: Facultad de Matemáticas, Universidad de Barcelona. Cursos académicos: a, a, a, a, a, a. (a) en colaboración con Joan Bagaria. (7) Asignatura: Teoría de Conjuntos combinatoria. Centro: Facultad de Matemáticas, Universidad de Barcelona. Curso académico: (C). CURSOS IMPARTIDOS PARA EL TÍTULO DE MASTER (1) Asignatura: Demostración Automática de Teoremas. Centro: Instituto de Lógica, Cognición, Lenguaje e Información, Universidad del País Vasco. Curso académico: (2) Asignatura: Lógica y Fundamentos de la Matemática. Centro: Facultad de Matemáticas, Universidad de Barcelona. Curso académico: a, a (a) en colaboración con Joan Bagaria, Enrique Casanovas y 7

9 Rafel Farré. 8

10 (V). ACTIVIDAD INVESTIGADORA DESEMPEÑADA LÍNEAS DE INVESTIGACIÓN Línea 1: Teoría de Modelos Topológicos. Palabras clave: estructuras topológicas, estructuras monótonas, lenguajes topológicos, back and forth, tipos elementales, sentencias de Scott, juegos topológicos, espacios ordinales, procedimientos de decisión. Período: desde 1979 hasta Línea 2: Álgebras de Boole. Palabras clave: álgebras de Boole hereditariamente atómicas, espacios dispersos, derivadas de Cantor-Bendixson, thin-tall -álgebras de Boole, thinthick -álgebras de Boole, forcing, morasses, funciones valoradas por cardinales. Período: desde

11 (VI). PARTICIPACIÓN EN PROYECTOS DE INVESTIGACIÓN SUBVENCIONADOS (1) Título: Teoría de Modelos. Investigador principal: Juan Carlos Martínez Organismo: DGITYT Código: PB Años: Número de investigadores: 4. (2) Título: Teoría de Modelos. Investigador principal: Juan Carlos Martínez. Organismo: DGITYT. Código: PB Años: Número de investigadores: 4. (3) Título: Teoría de Modelos. Investigador principal: Juan Carlos Martínez. Organismo: DGITYT. Código: PB Años: Número de investigadores: 6. (4) Título: Teoría de Modelos. Investigador principal: Juan Carlos Martínez. Organismo: SEID. Código: BFM

12 Años: Número de investigadores: 6. (5) Título: Lógica. Investigador principal: Enrique Casanovas. Organismo: DURSI (Generalitat de Catalunya). Código: 2002SGR Años: Número de investigadores:10. (6) Título: Teoría de Modelos. Investigador principal: Juan Carlos Martínez. Organismo: MEC. Código: MTM Años: Número de investigadores: 6. (7) Título: Lógica. Investigador principal: Enrique Casanovas. Organismo: DURSI (Generalitat de Catalunya). Código: 2005SGR Años: Número de investigadores:

13 (VII). PUBLICACIONES (ARTÍCULOS) (A). PUBLICACIONES EN REVISTAS (1) Juan Carlos Martínez, Accessible sets and (L ω1 ω) t -equivalence for T 3 spaces, The Journal of Symbolic Logic 49 (1984), pg (2) Jörg Flum - Juan Carlos Martínez, κ-local operations for topological structures, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 31 (1985), pg (3) Juan Carlos Martínez, Decision procedure for a class of (L ω1 ω) t - types of T 3 spaces, Notre Dame Journal of Formal Logic 28 (1987), pg (4) Juan Carlos Martínez, On a class of topological spaces with a Scott sentence, Fundamenta Mathematicae 129 (1988), pg (5) Jörg Flum - Juan Carlos Martínez, On topological spaces equivalent to ordinals, The Journal of Symbolic Logic 53 (1988), pg (6) Juan Carlos Martínez, Productos de L t -tipos para espacios T 3, Theoria 16, Tomo A (1992), pg (7) Juan Carlos Martínez, A consistency result on thin-tall superatomic Boolean algebras, Proceedings of the American Mathematical Society 115 (1992), pg (8) Peter Koepke - Juan Carlos Martínez, Superatomic Boolean algebras constructed from morasses, The Journal of Symbolic Logic 60 (1995), pg

14 (9) Juan Carlos Martínez, On uncountable cardinal sequences for superatomic Boolean algebras, Archive for Mathematical Logic 34 (1995), pg (10) Juan Carlos Martínez, On cardinal sequences of scattered spaces, Topology and its Applications 90 (1998), pg (11) Juan Carlos Martínez, A forcing construction of thin- tall Boolean algebras, Fundamenta Mathematicae 159 (1999), pg (12) Juan Carlos Martínez, Demostració automàtica, Butlletí de la Societat Catalana de Matemàtiques 15 (2000), pg (13) Juan Carlos Martínez, A consistency result on thin-very tall Boolean algebras, Israel Journal of Mathematics 123 (2001), pg (14) Juan Carlos Martínez, Attainment of tightness in Boolean spaces, Mathematical Logic Quarterly 48 (2002), pg (15) Juan Carlos Martínez, π-character and depth in scattered Boolean spaces, Topology and its Applications 121 (2002), pg (16) Juan Carlos Martínez, Constructions of thin-tall Boolean spaces, Revista Matemática Complutense 16 (2003), pg (17) Juan Carlos Martínez, Some open questions for superatomic Boolean algebras, Notre Dame Journal of Formal Logic 46 (2005), pg

15 (18) Juan Carlos Martínez, A consistency result on cardinal sequences of scattered Boolean spaces, Mathematical Logic Quarterly 51 (2005), pg (B). PUBLICACIONES EN ACTAS DE CONGRESOS (1) Juan Carlos Martínez, Métodos de Ehrenfeucht- Fraissé para lenguajes formales topológicos, Actas del IV Congreso de Lenguajes Naturales y Lenguajes Formales (1988), pg (2) Juan Carlos Martínez, Sobre espacios dispersos y álgebras de Boole, Actas de las XIV Jornadas Hispano-Lusas de Matemáticas (1989), pg (3) Juan Carlos Martínez, Dense spaces and (L ω ) t, enviado para publicación en las Actas del Congreso en Homenaje a Hugo Ribeiro. (4) Juan Carlos Martínez, Equivalencia de espacios topológicos en lenguajes formales, enviado para publicación en las Actas del II Congreso de Lógica Matemática de la Universidad Católica de Chile. (5) Juan Carlos Martínez, Cardinal sequences of Boolean algebras, Actas del XI Congreso de Lenguajes Naturales y Lenguajes Formales (1995), pg

16 (VIII). CONFERENCIAS EN CONGRESOS (1) Título: (L ω1 ω) t -equivalence for T 3 spaces. Evento: Logic Colloquium 83. Lugar: Aquisgrán (Alemania). Fecha: julio de Entidad organizadora: Association for Symbolic Logic. (2) Título: Every countable ordinal with the order topology has a Scott sentence. Evento: Logic Colloquium 85. Lugar: París. Fecha: julio de Entidad organizadora: Association for Symbolic Logic. (3) Título: Equivalencia de espacios topológicos en lenguajes formales (cinco sesiones). Evento: II Congreso de Lógica Matemática de la Universidad Católica de Chile. Lugar: Santiago de Chile. Fecha: enero de Entidad organizadora: Universidad Católica de Santiago de Chile. 15

17 (4) Título: Lógica dinámica. Evento: II Congreso de Lógica Matemática de la Universidad Católica de Chile. Lugar: Santiago de Chile. Fecha: enero de Entidad organizadora: Universidad Católica de Santiago de Chile. (5) Título: A back and forth method for topological spaces. Evento: Logic Colloquium 88. Lugar: Padua (Italia ). Fecha: agosto de Entidad organizadora: Association for Symbolic Logic. (6) Título: Métodos de Ehrenfeucht-Fraissé para lenguajes formales topológicos. Evento: IV Congreso de Lenguajes Naturales y Lenguajes Formales. Lugar: Lleida. Fecha: septiembre de Entidad organizadora: Universitat Rovira i Virgili. Carácter: nacional. 16

18 (7) Título: Dense spaces and (L ω ) t. Evento: Logic Colloquium en homenaje a Hugo Ribeiro. Lugar: Lisboa. Fecha: abril de Entidad organizadora: Universidad de Lisboa. (8) Título: Sobre espacios dispersos y ál gebras de Boole. Evento: XIV Jornadas Hispano-Lusas de Matemáticas. Lugar: Tenerife. Fecha: junio de Entidad organizadora: Universidad de La Laguna. Carácter: binacional. (9) Título: Forcing construction of very thin-thick Boolean algebras. Evento: Logic Colloqium 93. Lugar: Keele (Inglaterra). Fecha: julio de Entidad organizadora: Association for Symbolic Logic. (10) Título: On thin-tall topological spaces. Evento: I Barcelona Logic Meeting. Lugar: Bellaterra (Barcelona). Fecha: enero de Entidad organizadora: Centre de Recerca Matemàtica. 17

19 (11) Título: Secuencias de cardinales para álgebras de Boole. Evento: XI Congreso de Lenguajes Naturales y Lenguajes Formales. Lugar: Tortosa (Tarragona). Fecha: septiembre de Entidad organizadora: Universitat Rovira i Virgili. Carácter: nacional. (12) Título: On thin-tall Boolean algebras. Evento: 1996 ASL Annual Meeting. Lugar: Madison, Wisconsin (Estados Unidos). Fecha: marzo de Entidad organizadora: Association for Symbolic Logic. (13) Título: Superatomic Boolean algebras. Evento: Techniques and Applications of Set Theory. Lugar: Universidad Autónoma de Barcelona, Bellaterra. Fecha: junio de Entidad organizadora: Centre de Recerca Matemàtica. (14) Título: Cardinal sequences for superatomic Boolean algebras. Evento: Annual Meeting of the American Mathematical Society. Lugar: San Diego, California (Estados Unidos). Fecha: enero de Entidad organizadora: American Mathematical Society. 18

20 (15) Título: A forcing version of the Juhász- Weiss theorem. Evento: IV Barcelona Logic Meeting. Lugar: Bellaterra (Barcelona). Fecha: febrero de Entidad organizadora: Centre de Recerca Matemàtica. (16) Título: A forcing construction of thin-very tall Boolean algebras. Evento: Logic Colloquium Lugar: París. Fecha: julio de Entidad organizadora: Association for Symbolic Logic. (17) Título: Cardinal sequences of scattered Boolean spaces. Evento: Congreso de Topología en homenaje a István Juhász. Lugar: Budapest. Fecha: agosto de Entidad organizadora: Sociedad Janos Bolyai. (18) Título: Superatomic Boolean algebras. Evento: Workshop on Singular Cardinal Combinatorics. Lugar: Banff (Canadá). Fecha: mayo de Entidad organizadora: Banff International Research Station. 19

21 (19) Título: On cardinal sequences of compact scattered spaces. Evento: Workshop on Set Theory. Lugar: Bellaterra (Barcelona). Fecha: julio de Entidad organizadora: Centre de Recerca Matemàtica. (20) Título: On cardinal sequences of scattered Boolean spaces. Evento: Logic Colloquium Lugar: Atenas (Grecia). Fecha: agosto de Entidad organizadora: Association for Symbolic Logic. (21) Título: A consistency result for scattered Boolean spaces. Evento: 9th Kurt Gödel Colloquium. Lugar: Viena (Austria). Fecha: noviembre de Entidad organizadora: The Kurt Gödel Society. 20

22 (IX). INVITACIONES DE CENTROS DE INVESTIGACIÓN (1) Centro: Facultad de Matemáticas de la Universidad Católica de Santiago de Chile. Motivo: impartir un curso sobre Lógica topológica dentro del II Congreso de Lógica Matemática organizado por dicha universidad. Fecha: enero de (2) Centro: Instituto Matemático de la Universidad de Friburgo (Alemania). Motivo: colaboración científica con el profesor Peter Koepke sobre algunas cuestiones de consistencia en el área de las ál gebras de Boole. Fecha: julio de (3) Centro: Facultad de Filosofía y Ciencias de la Educación de la Universidad del País Vasco. Motivo: conferencias invitadas. Fechas: abril de 1987, mayo de 1992, enero de (4) Centro: Universidad Rovira i Virgili de Tarragona. Motivo: conferencia invitada. Fecha: septiembre de (5) Centro: Centre de Recerca Matemàtica (Barcelona). Motivo: conferencias invitadas. Fecha: enero de 1994, junio de 1996, julio de

23 (6) Centro: Universidad de San Diego, California ( Estados Unidos ). Motivo: conferencia invitada. Fecha: enero de (7) Centro: Facultat de Matemàtiques, Universitat de Barcelona. Motivo: impartir la conferencia inaugural del curso Fecha: octubre de (8) Centro: Instituto Matemático de la Universidad de Bonn (Alemania). Motivo: conferencia invitada. Fecha: junio de (9) Centro: Instituto Matemático de la Universidad de Friburgo (Alemania). Motivo: conferencia invitada. Fecha: junio de (10) Centro: Banff International Research Station (Banff, Canadá). Motivo: participación en el workshop Singular Cardinal Combinatorics. Fecha: mayo de (11) Centro: Facultad de Filosofía de la Universidad Complutense de Madrid. Motivo: conferencia invitada. Fecha: mayo de

24 (12) Centro: The Kurt Gödel Society (Viena). Motivo: conferencia invitada. Fecha: noviembre de

25 (X). PERTENENCIA A COMITÉS DE REDACCIÓN Y COMITÉS ORGANIZADORES (1) Miembro del Consejo de Redacción de la Revista Matemática de la Universidad Complutense de Madrid desde el año 1987 hasta el año (2) Miembro del Comité Organizador del II Barcelona Logic Meeting, celebrado en La Universidad Autónoma de Barcelona en junio de (3) Miembro del Comité Organizador del Logic Colloquium 96, celebrado en San Sebastián en julio de (4) Miembro del Comité Organizador del VI Barcelona Logic Meeting, celebrado en el Institut d Estudis Catalans en julio de (5) Miembro del Comité de Programa del First international workshop on History and Philosophy of Logic, Mathematics and Computation, celebrado en San Sebastián en noviembre de (6) Miembro del Comité Organizador del Second international workshop on History and Philosophy of Logic, Mathematics and Computation, celebrado en San Sebastián en noviembre de

26 (XI). DILIGENCIA DE REFRENDO DE CURRICULUM El abajo firmante, Don Juan Carlos Martínez Alonso, Catedrático de Universidad, con número de Registro Personal A0500, se responsabiliza de la veracidad de los datos contenidos en el presente curriculum, comprometiéndose a aportar en su caso las pruebas documentales que le sean requeridas. Barcelona, 27 de Noviembre de Firmado: Juan Carlos Martínez Alonso 25