Dr. rer. nat. Favio E. Miranda-Perea
Associated Member of the Graduiertenkolleg GKLI
Institut of Computer Science
Ludwig-Maximilians-Universität, München
Mexico's Flag
Qué Bonito!, Qué Bonito! es llegar a un merendero y beber en un jarrito un tequila con limón

Don Favio Miranda en Montealban La mismisima Calavera Catrina

This web page will not be updated anymore
I am back in Mexico City since 06.12.2004, please consult my new web page:

Science Faculty, UNAM México


Institut of Computer Science LMU-München
Chair for Theoretical Computer Science
Oettingenstr. 67
D-80538, München

E-mail: miranda at informatik.uni-muenchen.de
              favio at gmx.de

Office: D.11
Office Phone:  (+49) 89 2180 9120

Fax: (+49) 89 2180 9338

Personal Address

Under Construction This Page is Still Under Construction and i think always will be.

Personal Information:

Till november 2004 I was PhD Student, associated member of the PhD Programme Logic in Computer Science (GKLI).I enjoyed of a credit-scholarship from the joint program between CONACyT and DAAD during the period october 2000-december 2004.
On 1. december 2004 I received the german degree "Doktor der Naturwissenschaft (Dr. rer. nat)" (doctor of natural sciences) with a dissertation entitled "On Extensions of AF2 with Monotone and Clausular (Co)inductive Definitions", which belongs to the research field of mathematical logic and theoretical computer science.

Here is my Curriculum Vitae, Version of June 2002: Postscript
 File   DVI
File   PDF File

Here is my original Ph.D. project description of March 2000: Postscript
 File   DVI
File   PDF File

Research Interests:

My research interests include the following: mathematical logic (classical proof theory, ordinal analysis), computational logic (first order automated reasoning, automated model building), lambda calculus, and set theory.
At present time i am researching about Logical systems for Monotone Inductive definitions and realizability interpretations.

Past and Current Activities.


A Curry-style Realizability Interpretation for Monotone Inductive Definitions. DVI
File   Postscript
 File   Adobe PDF File
To appear in:
Malvina Nissim (Editor.)
Proceedings of the Seventh ESSLLI Student Session.
Trento Italy. 5th.-16th. August 2002

An extended version is available: DVI
File   Postscript
 File   Adobe PDF File

I have more publications in spanish in my web page at the UNAM México.


  • Korrektheit des Vervollständigungsverfahrens und Huets Algorithmus. (31.01.2001)
        (Correctness of the Completion Procedure and Huet's Procedure) (In German). DVI File   PS File   PDF File

  • Calculus in Coinductive Form by Pavlovic and Escardo. (17.07.2001)
        (Notes for the Seminar Recursion for Coalgebras) DVI
File  PS
File  PDF

  • A Note on Going from System F to System F à la Curry and back. (1.08.2002)   DVI
File  PS
File  PDF File
  • Links to Survive in München and Germany:

  • The S- and U-Bahn Plan.
  • Mensa
  • The LEO English/German Dictionary
  • MVV (Public Transport) Electronic Timetable.
  • Deutsche Bahn Travel Service.
  • Some Logic Related Links