Malherbe Imbriaco, Octavio Hugo

DATOS PERSONALES Y ACADÉMICOS

Grado y Servicio
Grado 3 / Facultad de Ingenieria / Instituto de Matemática y Estadística «Rafael Laguardia»

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
Ver 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
Aún no se ha cargado el 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.