Dr. Francisco Hernández Quiroz   Cubículo 025, Planta Baja 56 22 48 58 y 56 22 48 63 fhq@ciencias.unam.mx http://www.matematicas.unam.mx/fhq Doctorado en Ciencias de la Computación(Imperial College Inglaterra, 1999) Licenciaturaen Matemáticas (Ciencias UNAM, 1994) Áreas de interés:Lógica, computabilidad, semántica de lenguajes de programación, filosofía de la computación.