Información General
Estudié la licenciatura y la maestría en matemáticas en la Facultad de Ciencias de la
Universidad Nacional Autónoma de México (UNAM). El 1 de diciembre de
2004 obtuve el grado de doctor en ciencias naturales (Doctor rerum
naturalium) por la Universidad Ludwig-Maximilian de Munich
Alemania, dentro del programa de Lógica para Ciencias de
la Computación GKLI, con una disertación calificada con magna
cum laude e intitulada "On Extensions of AF2 with Monotone and Clausular
(Co)inductive Definitions", perteneciente a las áreas de lógica
matemática y ciencia de la computación teórica. A partir del 3 de agosto de 2016 soy profesor titular "A" de tiempo completo, definitivo, en la Facultad de Ciencias de la UNAM en la Ciudad de México.
A partir del 1 de septiembre de 2018 y hasta el 31 de agosto de 2020 soy el coordinador de la licenciatura en Ciencias de la Computación de la Facultad de Ciencias UNAM.
Áreas de Interés
Mis áreas de interés en investigación caen dentro de la Lógica Matemática y la Ciencia de la Computación Teorica, en particular me intereso por implementaciones de estructuras de datos funcionales y su certificación mediante asistentes de prueba; sistemas tipados de reescritura de términos (cálculo lambda) y su utilidad en fundamentos de lenguajes de programación; así como por el paradigma de "pruebas como programas" implementado mediante sistemas de deducción natural en lógicas de orden superior. Otros temas de mi interés son los fundamentos de programación funcional mediante teoría de las categorias y las lógicas del razonamiento automátizado. En lo que respecta a la docencia me intereso adicionalmente por la teoría de conjuntos, la teoría de las categorías y la teoría de órdenes y latices.
Contacto
Favio E. Miranda Perea Correo-e: favioARROBAcienciasPUNTOunamPUNTOmx | |
Departamento de Matemáticas | |
Facultad de Ciencias, UNAM | |
Circuito Exterior S/N, Ciudad Universitaria 04510, Coyoacán, México D.F. |
|
México | |
Fax: +52-55-5622 4859 | |
Tel secretariado: +52-55-5622 4858 Tel directo: +52-55-5622 8222 ext #45776 |