Graduate students



Research lines:

Computational Complexity

Algorithmic Information Theory


Research Publications by Elvira Mayordomo

Survey Papers

Journal Papers


·         Computability in Europe 2010. Editors: A. Carbone, F. Ferreira, B. Löwe, E. Mayordomo. Journal of Logic and Computation, 25(4) (2015)

·         Special Issue on Computability, Complexity and Randomness. Editors: E. Mayordomo, W. Merkle. Theory of Computing Systems, 56(3) (2015)

·         CiE: Programs, Proofs, Processes. Editors: F. Ferreira, B. Löwe, and E. Mayordomo. Theory of Computing Systems, 51(3) (2012)

·         Computability, Complexity and Randomness (Dagstuhl Seminar 12021). Editors: V. Becher, L. Bienvenu, R. Downey, and E. Mayordomo. Dagstuhl Reports, 2(1) (2012)

·         Computability in Europe 2010. Editors: F. Ferreira, M. Hyland, B. Löwe, and E. Mayordomo. Annals of Pure and Applied Logic, 163(6) (2012)

·         Programs, Proofs, Processes: Proceedings  of the 6th Conference on Computability in Europe, CiE, 2010. Editors: F. Ferreira, B. Löwe, E. Mayordomo, and L.M. Gomes. Springer-Verlag  Lecture Notes in Computer Science, 6158 (2010)

·         Special Issue: Computation and Logic in the Real World. Guest Editors: S. B. Cooper, E. Mayordomo, and A. Sorbi. Theory of Computing Systems, 45(4) (2009)

Conference Papers

Technical reports

Ph.D. dissertation

Divulgative Papers

Research grants





Graduate students

Completed Ph.D. degrees


Completed M.S. degrees



Ph.D. Committees





Department of Computer Science and Systems Engineering
Aragon Institute for Engineering Research (I3A)

University of Zaragoza





Last modified: February 13th 2018

Elvira Mayordomo