Curriculum Vitae D.T. Noviembre 2013 1 - Datos personales - Nombres y apellidos: Octavio Hugo Malherbe Imbriaco. - E-mail: malherbe@fing.edu.uy. - Area de estudios: Fundamentos de las matemáticas y teoría formal de la computación; categorías; lógica lineal. 2 - Títulos obtenidos a)-títulos de grado y posgrado: - Doctorado en Matemáticas de la Universidad de Ottawa de Canadá. Mi graduación tuvo lugar en agosto 2010. - Maestría en Matemáticas. Pedeciba - Facultad de Ciencias - Universidad de la República. Mi graduación tuvo lugar en el 2002. - Licenciatura en Matemáticas. Facultad de Ciencias-Universidad de la República. Mi graduación tuvo lugar en el año 2002. b) Tesis defendidas de grado y posgrado: 1- Categorical models of computation: Partially Traced Categories and Presheaf Models of Quantum Computation tesis de doctorado, Universidad de Ottawa, la defensa tuvo lugar el 20 de agosto de 2010; tutores: Prof. Phil Scott (U. Ottawa) y la co-orientación del Prof. Peter Selinger (U. Dalhousie). http://gradworks.umi.com/nr/73/nr73903.html 1
2- Un modelo para las categorías lineales, tesis de maestría (Pedeciba) Facultad de Ciencias, Universidad de la República 2002; tutores: Prof. Walter Ferrer (UdelaR) y la co-orientación del Prof. Ian Mackie (King s College-Londres). 3- Sobre la hipótesis de Souslin y el axioma de Martin Monografía Facultad de Ciencias, Universidad de la República 2001; tutor: Prof. Walter Ferrer (UdelaR). 3 - Estudios realizados Doctorado en Matemáticas Universidad de Ottawa (2004-2010). Maestría en Matemáticas, Facultad de Ciencias Udelar (1999-2002). Licenciatura en Matemáticas, Facultad de Ciencias Udelar (1995-2001). Licenciatura en Filosofía, Facultad de Humanidades y Ciencias de la Educación (1987-1994). 4 - Cargos universitarios desempeñados - Asistente Grado 2, 20 horas (ext. a 40 horas), efectivo, en el IMERL de la Facultad de Ingeniería de la Universidad de la República desde 2005 a la fecha, cargo obtenido por concurso de Desde 2004 a 2010 estuve de licencia para realizar mi doctorado y me re-integré en el 2011. - Asistente en la Universidad de Ottawa (para la Licenciatura en Matemáticas y Facultad de Ingeniería) del 2004 al 2010, cargo obtenido por concurso de - Asistente Grado 2, 30 horas, interino, en el Centro de Matemáticas de la Facultad de Ciencias de la Universidad de la República, año 2004, cargo obtenido por concurso de - Asistente Grado 2, 30 horas, interino, en el Centro de Matemáticas de la Facultad de Ciencias de la Universidad de la República, para desarrollar tareas en la Unidad Asociada de la Facultad de Ingeniería año 2003, cargo obtenido por concurso de - Ayudante Grado 1, 30 horas, interino, en el IMERL de la Facultad de Ingeniería de la Universidad de la República desde 1997 a 2004, cargo obtenido por concurso de - Ayudante Grado 1, 20 horas, interino, en el CMAT de la Facultad de Ciencias de la Universidad de la República desde 2003 a 2004, cargo obtenido por concurso de 2
- Profesor en la Facultad de Ingeniería ORT, cátedra de Matemáticas para las carreras de ingeniería en sistemas y telecomunicaciones. Desde 2002 a 2003, cargo obtenido por méritos (sin concurso). - Profesor en la Facultad de Ingeniería Universidad Católica del Uruguay, cátedra de Matemáticas para las carreras de ingeniería año 2012, cargo obtenido por concurso de 5 - Actividades de Investigación En los últimos veinte años ha habido una migración de la metodología y modelos de la física cuántica a la teoría de la computación. La aplicación de dicho programa trajo aparejado la consideración de un riguroso contenido formal matemático y de fundamentación en la corrección de programas que ha contribuido también en un renovado impulso a la ya establecida física cuántica. Es así que en el año 2005 Valiron y Selinger desarrollan el cálculo lambda cuántico. El cálculo lambda es la versión matemática de lo que se denomina en computación como la programación funcional. El tema de mi tesis de doctorado lo desarrollé en dos áreas de trabajo: el álgebra categórica y los fundamentos de la computación cuántica. Más concretamente, consistió en un teorema de representación para las categorías con traza parcial y la propuesta de un modelo categórico para computación cuántica, es decir, establecí las bases matemáticas para la creación general de modelos para el cálculo lambda cuántico. A partir de este trabajo es que estoy investigando en la búsquedad de modelos concretos y en el estudio de la recursividad en este contexto cuántico. Para ello, es que me he fijado a mediado plazo desarrollar las herramientas formales para alcanzar dicho fin empleando los resultados obtenidos hasta ahora. 5.1 - Actividades de creación de conocimiento documentadas 5.1.a - Publicaciones arbitradas - Partially traced categories con P. Scott y P. Selinger. Journal of Pure and Applied Algebra Volume 216, Issue 12, December 2012, Pages 2563-2585. Forma de arbitraje: mediante un comité de evaluación por especialistas en el área que aprueban, rechazan o establecen sugerencias para modificar. - Presheaf models of quantum computation: an outline ; con Phil Scott (Ottawa) y Peter Selinger (Dalhousie) in Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Springer- LNCS. Volume 7860 2013, pp 178-194. Forma de arbitraje: mediante un comité de evaluación, por especialistas en el área que aprueban, rechazan o establecen sugerencias para modificar. 5.1.b- Pre-publicaciones 3
- A categorical model of higher-order quantum computation con Phil Scott (Ottawa) y Peter Selinger (Dalhousie). Preprint 2013. Un adelanto de esta publicación lo presentó el Prof. Phil Scott el día miércoles 29 de mayo de 2013 con motivo del congreso en ocasión del 60 aniversario del Prof. S. Abramsky de la Universidad de Oxford. http://www.cs.ox.ac.uk/sa60/programme.html - Ordered Combinatory Algebras and Realizability con Walter Ferrer (CMAT), Jonas Frey (Cambridge) y Mauricio Guillermo (IMERL) y Alexandre Miquel (ENS- Lyon). Preprint 2013. - Operations in K OCAs and AKSs con Walter Ferrer (CMAT)y Mauricio Guillermo (IMERL). Preprint 2013. 5.1.c- Informes técnicos, reportes - A report on Realizability con Walter Ferrer (CMAT) y Mauricio Guillermo (IMERL). Reporte técnico realizado para el proyecto de la ANII financiado por el Fondo Clemente Estable. http://arxiv.org/abs/1309.0706 - Some new examples of partially traced categories reporte técnico realizado para la universidad de Ottawa, 2008. 5.2 - Presentación de trabajos en congresos - Participé exponiendo el tópico Partially traced categories and paracategories en el 18th workshop sobre Foundational Methods in Computer Science (FMCS 2010) que se desarrolló en Kananaskis Field Station en la Universidad de Calgary, Canadá, entre el 12 de junio y el 15 de junio de 2010. Congreso anual de internacional especializado en la aplicación de la teoría de las categorías a la teoría de la computación. http://pages.cpsc.ucalgary.ca/ robin/fmcs/fmcs10/fmcs-schedule-2010.html - Participé en la 26 conferencia sobre Mathematical Foundation of Programming Semantics (MFPS XXVI) organizado por el Fields Institute y la Universidad de Ottawa el 6 de mayo de 2010. En la oportunidad ofrecí una disertación sobre Modelos Categóricos para el Cálculo Lambda Cuántico. Congreso anual internacional especializado en el estudio de la matemática aplicada a la teoría de la computación. http://www.math.tulane.edu/ mfps/mfps26/mfps X XV I.html - Participé en el 16th Workshop on Foundational Methods in Computer Science (FMCS 2008) en la Universidad de Dalhousie en Halifax, Canadá, entre el 30 de mayo y el 1 de junio de 2008. En dicha oportunidad ofrecí una exposición intitulada Towards presheaves models of quantum computing. Congreso anual internacional especializado en la aplicación de la teoría de las categorías a la teoría de la computación. http://www.mscs.dal.ca/ selinger/fmcs2008/program.html 4
5.3 - Actividades como conferencista invitado - Fui invitado por el Prof. Bob Paré (Universidad de Dalhousie) a participar en la reunión de verano de la Sociedad Canadiense de Matematicas (2010 CMS Summer meeting) que tuvo lugar el 4 de junio en Fredericton, New Brunswick, Canadá, en la sesión dedicada a Categorías Monoidales. Participé exponiendo uno de los temas de mi tesis de doctorado: A categorical model of higher-order quantum computation. Congreso anual internacional organizado por la sociedad canadiense de matemáticas sobre avances de la matemática en general. http://math.ca/reunions/ete10/abs/tc.html 5.4 - Participación en proyectos de investigación Desde comienzos de 2011 a setiembre de 2013 integré un proyecto concursado para la ANII financiado por el Fondo Clemente Estable junto con el Prof. Mauricio Guillermo (IMERL) y el Prof. Walter Ferrer (CMAT). Grado de participación: total. Identificación del proyecto: P R F CE 2009 1 3084; título: Realizabilidad Clásica, Categorías y Teoría de Juegos. De este proyecto surgió un reporte técnico y surgirán dos publicaciones sobre el tema estudiado. 5.5 - Asistencia a congresos (sin presentación de trabajos) - En octubre de 2008 asistí al Category theory OctoberFest, Concordia University, Organizado por Category theory research center de Macgill University. - En abril de 2007 asistí al workshop Applications of traces to algebra, analysis and categorical logic organizada por el Field Institute y la Universidad de Ottawa. - En 2006 asistí al GEOCAL 06 sobre geometría de la computación, semántica y fundamentos, en Marsella (Luminy), Francia. - Del 16 al 22 de julio de 2005 asistí al Quantum Information, Computation and Logic workshop en el Perimeter Institute for Theoretical Physics en Waterloo, Canadá. - En noviembre de 2004 asistí al Quebec Programming Languages Séminaire de la Universidad Mc Gill (Montreal, Canada); en la oportunidad participé en los seminarios y talleres de semántica formal. - En agosto de 2003 asistí a la Escuela de Semántica organizada por el CIMPA y el INCO que tuvo lugar en Montevideo. 5.5- Becas y pasantías - Excellence Ph.D. Scholarships University of Ottawa (2005 a 2009). 5
- International Tuition Fee Scholarship University of Ottawa (2004). - Beca Posdoctorado Pedeciba Julio 2012-Julio 2013. 6 Actividades de ensenãnza en los últimos 5 anõs 6.1 Principales cursos universitarios dictados Año 2013: Teórico y práctico de Geometría y Ingeniería Udelar. Año 2012: Teórico y práctico de Geometría y Ingeniería Udelar. Año 2011: Teórico y práctico de Geometría y Ingeniería Udelar. Álgebra Lineal I y II de la Fac. de Álgebra Lineal I y II de la Fac. de Álgebra Lineal I y II de la Fac. de Año 2010: Beca de Excelencia full-time de la Universidad de Ottawa, eximido de dar cursos. Año 2009: Beca de Excelencia full-time de la Universidad de Ottawa, eximido de dar cursos. 6.2 Otras Actividades de enseñanza Participé de los siguientes seminarios. - Seminario de Categorias bajo la dirección del Prof. Bob Paré. Facultad de Matemáticas y Estadística de la Universidad de Dalhousie. Desde setiembre de 2007 hasta agosto 2010. Participé en dicho seminario habiendo expuesto en dos ocasiones sobre temas relacionados con mi tesis de doctorado. http://www.mathstat.dal.ca/ pare/sem09-10.html - Seminario de Categorías y Lógica bajo la dirección del Prof. Phil Scott. Facultad de Matemáticas y Estadística de la Universidad de Ottawa. Desde setiembre de 2004 hasta setiembre de 2007. Participé en dicho seminario habiendo expuesto en tres ocasiones sobre temas relacionados con mi tesis de doctorado. http://mysite.science.uottawa.ca/phofstra/lfc.seminar06-07.html - Seminario de Lógica sobre realizabilidad y topos. Facultad de Ciencias- Universidad de la República; 2do semestre 2011, 1er semestre 2012 y 2013. - Seminario de Álgebras de Hopf. Facultad de Ciencias- Udelar; 1er semestre 2012. 6
7 - Actividades de extensión universitaria y relacionamiento con el medio En el primer semestre de 2013 dicté un curso de Introducción a las categorías y otro de Introducción a la lógica categórica para estudiantes de grado y maestría para las carreras en filosofía (FHCE), computación (INCO) y matemáticas (CMAT-IMERL) en el marco de los proyectos Interdisciplinarios organizados por la Udelar. Responsables del proyecto: José Seoane (FHCE) y Walter Ferrer (CMAT). 8 - Actividades de Gobierno y Gestión Universitaria - Desde el comienzo del 2011 a 2013 integré una comisión de enseñanza del Imerl (Fac. Ing. Universidad de la República) que tiene por cometido establecer que cambios se debe realizar en la curricula de matemáticas para poder lograr disminuir la deserción de estudiantes en los primeros dos años de estudios. 9 - Otras Actividades - Licenciatura en Filosofía de la Facultad de Humanidades y Ciencias de la Educación de la Universidad de la República (restan tres materias y monografía final). - Inglés: Octavo año -Instituto Anglo Uruguayo. Curso y examen E.S.L. nivel avanzado de la Universidad de Ottawa. - Francés: Diploma de Altos Estudios de la Alianza Francesa -Noveno año. Opción Literatura. 7