Graduate students



Research lines:

Computational Complexity

Algorithmic Information Theory


Research Publications by Elvira Mayordomo

Journal Papers


·         Special Issue in memory of Barry Cooper. Editors: V. Brattka, P. Bonizzoni, O. Bournez, E. Mayordomo. Computability, 5(1) (2016)

·         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

Survey 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)

COSMOS research group
University of Zaragoza




Last modified: Sept.  2nd 2020

Elvira Mayordomo