About me
I studied Mathematics (first and masters degrees) at the National
Autonomous University of Mexico (UNAM); after completing my doctoral studies
at the Ludwig Maximilians Universitaet in Munich, Germany, within the today
extinct graduate program in logic for computer science GKLI, I received the
degree of doctor on natural sciences (doctor rerum
naturalium) on december 1st. 2004, with a dissertation entitled "On
Extensions of AF2 with Monotone and Clausular (Co)inductive
Definitions", belonging to the research areas of Mathematical Logic and
Theoretical Computer Science
Since may 1st. 2007 I am associate professor at UNAM's Faculty of Science in
Mexico City. I am also a candidate member to the Mexican National Researchers System
(SNI) since january 2009.
Research areas
My research interest areas are inside Mathematical Logic and Theoretical Computer Science, I am interested in typed term rewrite systems (lambda calculus) and their applications on the foundations of programming languages, in the foundations of functional programming by means of category theory and in the process of program extraction from proofs (specifically the socalled proofs as programs paradigm) and its implementation by means of natural deduction systems in second and higherorder logics. With respect to teaching I am interested in set theory, graph theory, category theory and order theory.
Contact
Favio E. Miranda Perea Correoe: favioATcienciasDOTunamDOTmx  
Mathematics Department  
Faculty of Science, UNAM  
Circuito Exterior S/N, Ciudad Universitaria 04510, Coyoacán, México D.F. 

México  
Fax: +52555622 4859  
Phone: +52555622 8222 ext #45776 