Download Curriculum Vitae [pdf, 101 KBytes] - Docentes

Curriculum Vitæ
Álvaro Tasistro
I.
Datos personales.
Nombre: Álvaro Daniel TASISTRO SOUTO.
Lugar y fecha de nacimiento: Montevideo, 4 de Febrero de 1961.
Teléfono: +598 +2 902 1505 ext. 1147.
Dirección electrónica: [email protected]
II.
Títulos universitarios.
Postgrado.
Doctor en Ciencia de la Computación. Departamento de Ciencia de la Computación, Escuela
Superior Técnica Chalmers y Universidad de Gotemburgo, Gotemburgo, Suecia, 1997.
Tesis: “Substitution, record types and subtyping in type theory, with applications to the
theory of programming”. Supervisor: Prof. Bengt Nordström.
Licenciado (sueco: Filosofi Licenciat) en Ciencia de la Computación. Departamento de Ciencia
de la Computación, Escuela Superior Técnica Chalmers y Universidad de Gotemburgo,
Gotemburgo, Suecia, 1993.
Tesis: “Formulation of Martin-Löf's Theory of Types with Explicit Substitution”.
Supervisor: Prof. Bengt Nordström.
Diploma en Educación. Instituto de Educación, Universidad ORT Uruguay, 2009.
Grado.
Analista Programador, Facultad de Ingeniería, Universidad de la República, Montevideo,
Uruguay, 1982.
III.
Actividad académica.
Cargos ocupados.
Desde Febrero 2009: Coordinador Académico del Máster en Ingeniería de la Universidad
ORT Uruguay.
Desde Febrero 2002: Catedrático de Teoría de la Computación de la Escuela de Ingeniería
de la Universidad ORT Uruguay (en adelante, ORT).
Desde Marzo 1998: Investigador del Programa de Desarrollo de las Ciencias Básicas (en
adelante, Pedeciba), Area Informática, grado 3.
Set 1999 – Feb 2007: Profesor Agregado en efectividad del Instituto de Computación de la
Facultad de Ingeniería de la Universidad de la República (en adelante, InCo),
Montevideo, Uruguay.
Set 1997 – Ago 1999: contratado como Profesor Agregado del InCo por el Programa de
Contratación de Científicos de la CSIC.
Ene 1990 - Jun 1997: Docente Candidato a Doctor del Departamento de Ciencia de la
Computación, Escuela Superior Técnica Chalmers y Universidad de Gotemburgo,
Gotemburgo, Suecia (en adelante, Chalmers).
Feb 1987 - Dic 1989: Instructor de la Escuela Superior Latino Americana de Informática
(ESLAI), La Plata, Argentina.
Mar 1983 - Dic 1989: Docente del InCo en los grados 1 y 2.
Otros cargos.
Jul 1997- Feb 2002: Contratado semestralmente como docente de la Universidad ORT
Uruguay.
1991-1998: Investigador Asociado del Pedeciba , Área Informática.
Nov 1994 - Mar 1995: contratado como profesor visitante del InCo (en el grado 4) por el
proyecto BID-CONICYT 043 “Estructura de Sistemas Lógicos”.
1988: nombrado Profesor Adjunto (grado 3) del InCo, tras llamado a provisión interina
de cargos.
Formación de investigadores.
Desde Setiembre 2009: Supervisor de los estudios del Máster en Ingeniería de ORT de
Andrés Navarro.
Desde Marzo 2009: Supervisor de los estudios del Máster en Ingeniería de ORT de
Nicolás Fornaro.
Desde Mayo 2007: Supervisor de los estudios de Doctorado en Informática del Pedeciba
de Diego Vallespir.
2002 - 2006: Supervisor de los estudios de Maestría en Informática del Pedeciba de Diego
Vallespir, estudios culminados con la obtención del título por el candidato.
2003 – 2005: Supervisor de estudios de Maestría en Informática del Pedeciba de Francisco
Bavera, estudios culminados con la obtención del título por el candidato.
2003 - 2004: Co-orientador (junto con el Dr. Gustavo Betarte) de la Tesis de Maestría en
Informática del Pedeciba de Andrés Vignaga: “A formal semantics of state modification
primitives of object-oriented systems”.
1994 - 1995: Orientador de Tesis de Maestría en Informática del Pedeciba de Ana Bove:
“A machine assisted proof of the subject reduction theorem for a small functional
programming language”.
Resultados de investigaciones.
Capítulos de libros:
1998 Betarte G., Tasistro A. “Extension of Martin-Löf's type theory with record types
and subtyping'”. En “25 Years of Constructive Type Theory'', Cap. 2, pp. 21-39, Oxford
University Press.
Artículos en series internacionales periódicas arbitradas:
2000 G. Betarte, C. Cornes, N. Szasz, A. Tasistro “Specification of a Smart Card
Operating System”. En ”Types for Proofs and Programs”, Lecture Notes in Computer
Science No. 1956, pp. 77-93, Springer Verlag 2000.
1998 Tasistro, A. “Abstract Insertion Sort in an Extension of Type Theory with Record
Types and Subtyping”. En ``Types for Proofs and Programs'', Lecture Notes in
Computer Science No. 1512, pp. 354-372, Springer Verlag.
Trabajos en conferencias internacionales arbitradas:
2009 Calegari, D., Luna, C., Szasz, N., Tasistro, A. “Experiment with a Type-Theoretic
Approach to the Verification of Model Transformations”. II Workshop Chileno de
Métodos Formales (ChWFM), Jornadas Chilenas de Computación 2009, Santiago de Chile,
Noviembre 2009.
2004 Vignaga, A., Tasistro, A. “A Formal Semantics of Object-Oriented System State
Modification Primitives”. En Proceedings of the Fist Conference on Principles of Software
Engineering.
1996 Bove, A., Tasistro, A. “Machine Assisted Proof of the Subject Reduction Property
for a Small Functional Programming Language”. En Proceedings of the 3rd. Workshop on
Logic, Language, Information and Computation, Salvador, Brasil. Logic Journal of the
Interest Group in Pure and Applied Logic, Volume 4.
1995 Betarte, G. , Tasistro, A. “Formalization of Systems of Algebras Using Dependent
Record Types and Subtyping: An Example”. En Proceedings of the 7th. Nordic Workshop
on the Theory of Programming, Gotemburgo, Suecia. Chalmers.
1990 Bollini, M. , Tasistro, A. “Dijkstra's Methodology and Martin-Löf's Type Theory”.
En Anales de la X Conferencia Internacional de la Sociedad Chilena de Ciencias de la
Computación, Santiago, Chile.
1989 Kesner, D., Tasistro, A. “Un método de inferencia de tipos para programas
lógicos”. En Anales de las XVIII Jornadas Argentinas de Informática e Investigación
Operativa, Buenos Aires, Argentina.
1988 Gaspes, V., Tasistro, A. “Un sistema de tipos polimórfico para un lenguaje
funcional con constantes y tipos abstractos”. En Anales de la XIV Conferencia
Latinoamericana de Informática, Buenos Aires, Argentina.
Tesis:
1997 Tesis doctoral: “Substitution, record types and subtyping in type theory, with
applications to the theory of programming” Department of Computing Science,
Chalmers University of Technology and University of Gothenburg, Gotemburgo,
Suecia.
1993 Tesis de licenciatura: “Formulation of Martin-Löf's Theory of Types with Explicit
Substitution”. Department of Computing Science, Chalmers University of Technology
and University of Gothenburg, Gotemburgo, Suecia.
Desarrollos tecnológicos:
1999-2001 Participación en el desarrollo de las herramientas Fob – intérprete de
modelo de lenguaje orientado a objetos con métodos funcionales y SubRec – asistente
para el desarrollo y verificación de programas en la Teoría Constructiva de Tipos de
Martin-Löf extendida con registros dependientes y subtipos.
1994-1997: Participación en el desarrollo de la herramienta GLICH para la asistencia
en el desarrollo de programas de corrección certificada.
Participación en proyectos de investigación.
Desde junio 2009: “Dependent Types for Nominal Terms”. Con Maribel Fernández (King´s
College London) y Nora Szasz (ORT). Financiado por The Royal Society, UK.
Desde marzo 2009: “Types for Robust Program Development”. Con Delia Kesner (ENS,
París, Francia), Eduardo Bonelli (Universidad de Buenos Aires), Nora Szasz y Carlos
Luna (ORT). Financiado por STIC/AmSud (Francia).
Desde marzo 2009: “Verificación de Transformaciones de Modelos de Comportamiento
Basados en UML”. Con Nora Szasz y Carlos Luna (ORT). Financiado por Microsoft,
Fondo LACCIR.
Feb 1999 -Feb 2002 Responsable científico del proyecto CONICYT 4112 “Subtipos y
Objetos en teorías y herramientas basadas en Teoría de Tipos”, financiado por el Fondo
Clemente Estable tras llamado a propuestas.
1994 - 1997 Miembro del proyecto CONICYT-BID 043 “Estructura de Sistemas Lógicos”.
Organización de eventos científicos.
2003 Miembro del Comité Organizador de las Jornadas de difusión y divulgación del
Pedeciba: Aportes de la ciencia al desarrollo nacional.
2002 Miembro del Comité Organizador de infoUYclei 2002, comprendiendo la XXVIII
Conferencia Latinoamericana de Informática, X Congreso Iberoamericano de Educación
Superior en Computación, IX Concurso de Tesis de Maestría CLEI-UNESCO y III
Congreso Uruguayo de Informática.
Enseñanza
Cursos dictados.
Posgrado y formación docente.
2009, Universidad ORT Uruguay, Máster en Ingeniería: “Teoría de Tipos”,
“Programación Funcional y Lógica”, “Sistemas Formales de Computación
Distribuida”.
2008, Universidad ORT Uruguay: “Sistemas Formales de Computación”, de formación
de docentes.
2007, Universidad ORT Uruguay: “Segundo Curso de Lógica para Ciencia de la
Computación”, de formación de docentes.
2003-2006, InCo: “Computabilidad y Complejidad”.
1997-2004, InCo: “Lógica de la Programación Imperativa”.
Nov 1994 - Mar 1995, InCo: (con la Prof. Dra. Nora Szasz) “Cálculo Lambda”.
1990, InCo: “Revisión de Fundamentos de la Matemática”.
Pregrado
Desde 2003, Universidad ORT Uruguay: “Lógica” de Ingeniería en Sistemas de
Computación y la Licenciatura en Análisis de Sistemas.
2004-2006, InCo: “Lógica”, de Ingeniería en Computación.
2003-2006, InCo: “Teoría de la Computación” de Ingeniería en Computación.
1998-2004, InCo: “Lógica de la Programación Imperativa” de Ingeniería en
Computación.
1997 – 2002, Universidad ORT Uruguay: “Programación 1” de la Licenciatura en
Análisis de Sistemas.
1998 – 1999, InCo: “Programación 2” de Ingeniería en Computación.
1990 – 1997, Chalmers: “Especificación y Derivación de Programas”. Además, dictado
de clases prácticas y ayudantía en laboratorios de cursos de iniciación en
programación, usando lenguajes funcionales (ML) e imperativos (Modula 2, Ada).
1987 – 1989, ESLAI: “Algoritmos y Estructuras de Datos”, “Taller” (proyectos de
laboratorio) y “Lenguajes y Programación”.
1983 – 1986, InCo: “Programación I”, “Programación III”y “Procesamiento de Datos
I”del Plan de Estudios de Ingeniería en Sistemas de Computación vigente en la época.
Supervisión de proyectos a nivel de pregrado.
2009, ORT: Taller Lógico, asistente de derivaciones en Deducción Natural para Lógica de
Primer Orden.
1998 – 2006, InCo: Supervisión de trabajos de graduación.
1987 – 1989, ESLAI: Supervisión de trabajos de pasantía y de graduación.
Tareas de coordinación y preparación.
Todos los cursos citados arriba como dictados han sido preparados o reformados por
el suscrito.
2007-2008, Universidad ORT Uruguay: Coordinador del proceso de confección del
programa de Master en Ingeniería.
2005-2006, InCo: Miembro del grupo de trabajo redactor del programa de estudios y
plan de puesta en marcha de la carrera de Tecnólogo Informático (UdelaR – UTU).
Desde Feb 2002, Universidad ORT Uruguay: Formulación de programas y
coordinación docente de las materias de la Cátedra de Teoría de la Computación:
Lógica y Algoritmos y Estructuras de Datos (I y II) de Ingeniería en Sistemas y
Licenciatura en Sistemas, y Teoría de la Computación, Paradigmas de Programación,
Lenguajes y Compiladores y las materias del perfil electivo de Computación Teórica
de la carrera de Ingeniería en Sistemas.
1997-2006, InCo: Coordinador responsable de los cursos de la materia Programación
del Plan 1997 de Ingeniería en Computación. Esta actividad comprende la
coordinación y supervisión de la definición de todas las asignaturas de Programación
de la carrera.
1998 – 1999, InCo: Responsable del curso “Programación 2” de la carrera de
Ingeniería en Computación. Curso de asistencia masiva preparado y dictado por
primera vez en 1998. Las actividades realizadas incluyen: definición del programa del
curso, preparación de material didáctico (transparencias y material de práctico) y
coordinación de equipos de ayudantes consistentes de entre cinco y seis personas.
1983 - 1986, InCo: Responsable de cursos de ``Programación I'', ``Programación III'' y
``Procesamiento de Datos I'' del Plan de Estudios de Ingeniería en Sistemas de
Computación vigente en la época. En cada caso, las actividades realizadas incluyeron:
preparación del curso teórico reformando programas anteriores, elaboración de
material didáctico (notas de curso y material práctico) y coordinación de la parte
práctica del curso.
Publicaciones para la enseñanza.
2007 Tasistro, A. “Inducción y Recursión”, libro de texto para cursos de pregrado en
Ingeniería en Sistemas de Computación, Universidad ORT Uruguay.
1988 Tasistro, A., Vidart, J. “Programación Lógica y Funcional”, libro de texto para la
III Escuela Brasileño Argentina de Informática (EBAI), Universidad Federal de Paraná,
Curitiba, Brasil.
1986 Tasistro, A., Viola, A. “Especificaciones algebraicas de tipos abstractos de datos
en un curso medio de programación”. En Anales de la XII Conferencia Latinoamericana de
Informática, Montevideo, Uruguay.
Otras actividades de enseñanza.
Desde 1992: Miembro de tribunales de Maestrías en Informática del PEDECIBA y de
Maestrías en Ingeniería en Computación de la Facultad de Ingeniería, UdelaR.
1998 - 1999: Coordinador de programa de formación de docentes para el Bachillerato
Tecnológico en Informática de la Universidad del Trabajo del Uruguay.
1980 – 1984: Docente de Matemática en los Bachilleratos de Ingeniería y Economía
(Secundaria).
Gestión Académica
Desde Febrero 2009: Coordinador Académico del Máster en Ingeniería, Facultad de
Ingeniería, Universidad ORT Uruguay.
2007-2008, Universidad ORT Uruguay: Coordinador del proceso de confección de
propuesta de programa de Master en Ingeniería.
2005-2006, InCo: Miembro del grupo de trabajo redactor del programa de estudios y
plan de puesta en marcha de la carrera de Tecnólogo Informático (UdelaR – UTU).
2002 –2004 Delegado docente en la Comisión de Instituto (InCo)
1998, 1999 Director en suplencia del InCo.
Reconocimientos académicos.
Premios:
1999 Mención especial en el Premio Roberto Caldeyro Barcia para jóvenes
investigadores en el área de Informática.
Becas:
1997 Apoyo financiero por parte de proyecto CSIC de fortalecimiento institucional
para la definición, preparación y dictado del curso de posgrado “Lógica de la
Programación Imperativa”. Este apoyo fue resuelto tras llamado a propuestas de
cursos de posgrado a ser dictados por primera vez, realizado por la Sub Comisión
Académica de Posgrado del Area Informática de la Facultad de Ingeniería.
1997 Beca crédito CONICYT para realizar estudios de Doctorado.
Evaluaciones.
2009 Evaluación del proyecto PICT-Joven 2008, CONICET, Argentina.
Desde 2005 Miembro de Comité de Programa de CIESC (Congreso Iberoamericano de
Enseñanza Superior en Computación).
2004 Presidente del Comité de Programa del Concurso de Tesis de Maestría CLEI.
2003, 1997 – 2001 Miembro del Jurado del Concurso de Tesis de Maestría CLEIUNESCO.
1999 Miembro del Comité de Programa del Workshop Argentino de Informática
Teórica (WAIT).
1997 Miembro del Comité de Programa de la II Conferencia Latinoamericana de
Programación Funcional, Argentina.
1993 Árbitro de la serie científica internacional ``Lecture Notes in Computer Science”
vol. 806: “Types for Proofs and Programs”.
Membresías y representaciones.
1998-2006 Representante de la Universidad de la República en el Centro
Latinoamericano de Estudios en Informática (CLEI). Miembro del Consejo Directivo
del CLEI en representación de Uruguay.
Miembro de la EACSL (Asociación Europea de Lógica para la Ciencia de la
Computación).
IV.
Actividad Profesional.
1999-2001: Miembro del equipo universitario encargado de la auditoría de licitación
internacional del Banco de Seguros del Estado, para la adquisición de sistema de
programas de gestión integral de seguros y equipamiento informático, en el marco de
convenio entre el citado Banco y la Universidad de la República.
1998 Asesoría a la Junta Nacional de Empleo del Ministerio de Trabajo y Seguridad
Social sobre confección y evaluación de licitaciones de cursos y programas de
capacitación laboral para trabajadores desempleados.
1984-1986: Consultoría y desarrollo de sistemas de computación, como profesional
independiente.
1982-1984: Programador del Centro de Cómputos del CASMU (Centro de Asistencia del
Sindicato Médico del Uruguay).