El profesor Mira se incorporó a la UNED a comienzos de 1989 como Catedrático de Ciencias de la Computación e Inteligencia Artificial, primero adscrito a la Facultad de Ciencias y después, desde 2002, en la Escuela Técnica Superior de Ingeniería Informática.