Dr. rer. nat. Favio E. Miranda Perea

Departamento de Matemáticas, Facultad de Ciencias

Universidad Nacional Autónoma de México

Don Favio Miranda en la Torre China, Munich 1 de 
enero de 2013                     

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.

Á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