Detalle del Docente 2016-12-06T16:49:11+00:00

Malherbe Imbriaco, Octavio Hugo

DATOS PERSONALES Y ACADÉMICOS

Grado y Servicio

Grado 2 / Facultad de Ingenieria / Instituto de Matemática y Estadística “Rafael Laguardia”
Grado 3 / Centro Universitario de la Region Este / Departamento de matemáticas y aplicaciones

Contacto

Email: malherbe@fing.edu.uy / Teléfono: 099550351

Área disciplinar

Básica

Disciplina / Subdisciplina

Matemática / Fundamentos de la matemática

Mayor nivel académico

Doctorado, Universidad de Ottawa (año 2010)

Link a web personal

Link a CVUY

Pertenece al SNI

No pertenece

Pertenece al PEDECIBA

No pertenece

DATOS DEL PROYECTO DE DEDICACIÓN TOTAL

Título del Plan de Actividades

Modelos de la computación cuántica

Palabras clave

Modelos de la Computación cuántica,
realizabilidad, teoría de categorías

Resumen Publicable

En la primera parte de mi tesis de doctorado pruebo que las categorías con traza partial, en el sentido de Haghverdi y Scott, son exactamente las subcategorias monoidales de las categorías con traza totalmente definida. Esta prueba fue desarrollada utilizando una versión parcial de la construcción “Int” de Joyal, Street y Verity, y además, una versión compacta de la nocion de paracategoria de Freyd. Esta ultima establece una argumentacion de tipo constructivo empleando cocientes sobre la categoria de caminos asociado a un grafo de manera de posibilitar la definicion de una estructura compacta extendida a nivel de las clases de equivalencia. Una cuestion relevante es ver si esta construccion, en principio formal, puede aplicarse a ejemplos concretos que surjan de situaciones “naturales” en diferentes ambitos de la matemnullatica en general y mas en particular en el calculo computacional cuantico. Con esto ultimo quiero referirme a situaciones que involucran los modelos que fueron tratados en la segunda parte de mi tesis.En ella desarrolle el estudio de las condiciones necesarias para obtener modelos para la computacion cuantica de alto orden en la categoria de functores, asi como, modelos concretos para el calculo lambda cuantico en el sentido de Selinger-Valiron. Intimamente vinculado a este problema se encuentra el desarrollo del estudio de modelos abstractos de la computacion cuantica en general, asi como a nuevos modelos que respeten restricciones sintacticas similares al lenguaje original o variantes de la misma.Un ambito interesante en donde buscar extender esta clase de ejemplos que respeten las restricciones sintacticas iniciales del lenguaje original, o variantes de la misma, es la categoria de algebras de Hopf. Para ello considero importante desarrollar herramientas que permitan estudiar sistematicamente el problema. Un ejemplo de este formalismo basico constituye las “Familias parametrizadas por coalgebras” (Bob Pare) dentro del contexto de las categorias indexadas. Su desarrollo permitiria un marco teorico para un estudio sistematico abstracto de la semantica de la computacion cuantica.

Grado y Fecha de Ingreso al RDT

Grado 2 / Desde: 2014-01-01

Programa: Científico Proveniente del Exterior

El cargo NO se enmarca en este programa

Participa de Grupo Autoidentificado

No participa de ningún grupo autoidentificado

Observaciones

DOCUMENTACIÓN ADJUNTA

Curriculum Vitae

Descargar CV

Último informe de renovación

Aún no se ha cargado el último informe de renovación.

Producción Académica

Documento 1: Descargar Produccion Académica 1
Documento 2: Aún no se ha cargado este archivo de Producción Académica.
Documento 3: Aún no se ha cargado este archivo de Producción Académica.