|
Elvira Mayordomo (Zaragoza 1967) es catedrática de universidad desde 2007 habiendo obtenido una habilitación nacional en concurso altamente competitivo. Además es ”Associate Professor” (en la modalidad de ”Collaborator”) del departamento de Computer Science de la Universidad de Iowa State (EE.UU.) desde 2004.
Sus temas de investigación incluyen, dentro de Informática Teórica, teoría de la información algorítmica, teoría de la medida geométrica algorítmica y complejidad computacional, y dentro de Bioinformática, filogenia computacional, genómica computacional y sus aplicaciones, incluyendo métodos de aprendizaje computacional tanto en filogenia como en genómica.
Tiene reconocidos 5 sexenios de investigación CNEAI.
Es presidenta de la asociación científica Computability in Europe (CiE).
Es editora Asociada de las revistas ACM Transactions on Computation Theory, Computability, Theory of Computing Systems y Journal of Symbolic Logic.
Ha sido miembro del comité de programa de más de 30 conferencias internacionales (en tres de ellas presidenta del mismo).
Ha publicado un buen número de artículos en revistas de alto impacto en Informática Teórica y Bioinformática, incluyendo varios en las revistas Journal of Computer and System Sciences, SIAM Journal on Computing, Information and Computation y BMC Bioinformatics todas en el primer cuartil de su categoría según el factor de impacto.
El impacto concreto de sus trabajos es alto, ya que se recogen al menos 1800 citas a todas sus contribuciones (factor h=22, factor i10=39). Su nombre ha aparecido durante 14 años entre los 10.000 autores más citados de Informática, según citeseer. Dos de sus artículos han estado durante tres meses entre los 25 artículos más consultados de las revistas Journal of Computer and System Sciences e Information & Computation.
Su investigación es altamente internacional ya que la mayoría de sus artículos tienen coautores internacionales con un total de 23 coautores internacionales diferentes de 16 instituciones en 6 países. Es invitada con frecuencia al centro de investigación Schloss Dagstuhl en Alemania (8 ocasiones) así como a otros centros similares en todo el mundo que organizan reuniones de investigación especializada a las que sólo se puede asistir por invitación (Erwin Schrödinger International Institute en Viena, Oberwolfach y Mathematics Center Heidelberg (MatCH) en Alemania, American Institute of Mathematics en Palo Alto, Isaac Newton Institute en Cambridge, Banff International Research Station en Canadá y China, Fields Institute for Research en Canadá y otros en Francia, Rusia, Singapur y Japón).
Ha sido Investigadora principal de proyectos de investigación nacionales durante 25 años. También ha participado en proyectos internacionales financiados por la Unión Europea y por la NSF del gobierno de EE.UU.
Ha sido miembro del comité asesor de la CNEAI en dos ocasiones, y miembro del comité de selección de proyectos Nacionales de I+D en Tecnologías Informáticas cuatro veces.
Además, ha impartido conferencias plenarias en varios congresos de impacto, y ha publicado un alto número de artículos en congresos internacionales con revisión por pares, incluyendo los de mayor impacto en su área.
Ha dirigido 5 tesis doctorales.
CV completo actualizado http://webdiis.unizar.es/~elvira/CVN.pdf
Artículos
- Ramon-Julvez, Ubaldo; Hernandez, Monica; Mayordomo, Elvira. EPDiff-JF-Net: Adjoint Jacobi Fields for Diffeomorphic Registration Networks. PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON BIOMEDICAL IMAGING. 2024. DOI: 10.1109/ISBI56570.2024.10635118
- Ramon Julvez, Ubaldo; Hernández Giménez, Mónica; Mayordomo Cámara, Elvira. EPDIFF-JF-NET: Adjoint Jacobi Fields for Diffeomorphic Registration Networks. JORNADA DE JÓVENES INVESTIGADORES DEL I3A. 2024. DOI: 10.26754/jjii3a.202410613
- Mayordomo Cámara, Elvira. Further extensions of the point to set principle. LECTURE NOTES IN COMPUTER SCIENCE. 2024. DOI: 10.1007/978-3-031-64309-5
- Mayordomo, Elvira; Ogihara, Mitsunori; Rudra, Atri. Foreword: a Commemorative Issue for Alan L. Selman. THEORY OF COMPUTING SYSTEMS. 2023. DOI: 10.1007/s00224-023-10123-1
- Hernandez, Monica; Ramon-Julvez, Ubaldo; Vilades, Elisa; Cordon, Beatriz; Mayordomo, Elvira; Garcia-Martin, Elena. Explainable artificial intelligence toward usable and trustworthy computer-aided diagnosis of multiple sclerosis from Optical Coherence Tomography. PLOS ONE. 2023. DOI: 10.1371/journal.pone.0289495
- Lutz, Jack H.; Lutz, Neil; Mayordomo, Elvira. Dimension and the structure of complexity classes. THEORY OF COMPUTING SYSTEMS. 2023. DOI: 10.1007/s00224-022-10096-7
- Lutz, Jack H.; Lutz, Neil; Mayordomo, Elvira. Extending the reach of the point-to-set principle. INFORMATION AND COMPUTATION. 2023. DOI: 10.1016/j.ic.2023.105078
- Mayordomo Cámara, Elvira. Una generalización del teorema de proyección de Marstrand. GACETA DE LA REAL SOCIEDAD MATEMÁTICA ESPAÑOLA. 2022
- Mayordomo Cámara, Elvira. Algorithmic Dimensions, the Point-To-Set Principles, and the Complexity of Oracles. LECTURE NOTES IN COMPUTER SCIENCE. 2022
- Sierra Tome, Daniel; Júlvez, Ubaldo Ramón; Hernández, Mónica; Mayordomo, Elvira. VoxelMorph based Normalization in the Prediction of Stable VS Progressive MCI Conversion with Convolutional Neural Networks. JORNADA DE JÓVENES INVESTIGADORES DEL I3A. 2022. DOI: 10.26754/jjii3a.20227018
- Peña, F; García Díaz, A.; Gómez González, A.; Martín Marcos, A.; Romeo, A.; Sánchez Aquilué, J. M.; Vallés, A.; Mayordomo, E. A phylogenetic study of covid-19 data from Aragon and Catalonia over a year: learning bioinformatics during a world pandemic. JORNADA DE JÓVENES INVESTIGADORES DEL I3A. 2022. DOI: 10.26754/jjii3a.20227017
- Lutz, Jack H; Mayordomo, Elvira. Computing absolutely normal numbers in nearly linear time. INFORMATION AND COMPUTATION. 2021. DOI: 10.1016/j.ic.2021.104746
- Huang, Xiang; Lutz, Jack H; Mayordomo, Elvira; Stull, Donald M. Asymptotic Divergences and Strong Dichotomy. IEEE TRANSACTIONS ON INFORMATION THEORY. 2021. DOI: 10.1109/TIT.2021.3085425
- Ramón-Júlvez, Ubaldo; Hernández, Mónica; Mayordomo, Elvira; Adni. Analysis of the influence of diffeomorphic normalization in the prediction of stable VS progressive MCI conversion with convolutional neural networks. PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON BIOMEDICAL IMAGING. 2020. DOI: 10.1109/ISBI45749.2020.9098445
- Huang, Xiang; Lutz, Jack H.; Mayordomo, Elvira; Stull, Donald M. Asymptotic divergences and strong dichotomy. LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS. 2020. DOI: 10.4230/LIPIcs.STACS.2020.51
- Mayordomo, E. Effective Hausdorff Dimension in General Metric Spaces. THEORY OF COMPUTING SYSTEMS. 2018. DOI: 10.1007/s00224-018-9848-3
- Albert, Pilar; Mayordomo, Elvira; Moser, Phillipe. Bounded pushdown dimension vs lempel ziv information density. LECTURE NOTES IN COMPUTER SCIENCE. 2017. DOI: 10.1007/978-3-319-50062-1_7
- Martín Navarro, Antonio; Gaudioso Simón, Andrés; Álvarez Jarreta, Jorge; Montoya, Julio; Mayordomo, Elvira; Ruiz Pesini, Eduardo. Machine learning classifier for identification of damaging missense mutations exclusive to human mitochondrial DNA-encoded polypeptides. BMC BIOINFORMATICS. 2017. DOI: 10.1186/s12859-017-1562-7
- Brattka, Vasco; Bonizzoni, Paola; Bournez, Olivier; Mayordomo, Elvira. Editorial. COMPUTABILITY. 2016. DOI: 10.3233/COM-160051
- Mayordomo, Elvira; Merkle, Wolfgang. Editorial. THEORY OF COMPUTING SYSTEMS. 2015. DOI: 10.1007/s00224-015-9620-x
- Carbone, Alessandra; Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira Computability in Europe 2010. JOURNAL OF LOGIC AND COMPUTATION. 2015. DOI: 10.1093/logcom/exs075
- Merino-Casallo, Francisco; Álvarez-Jarreta, Jorge; Mayordomo, Elvira. Conservation in Mitochondrial DNA: Parallelized Estimation and Alignment Influence. PROCEEDINGS (IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE). 2015. DOI: 10.1109/BIBM.2015.7359887
- Mayordomo Cámara, Elvira. Effective dimension in some general metric spaces. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. 2014. DOI: 10.4204/EPTCS.143.6
- Alvarez-Jarreta, Jorge; de Miguel Casado, Gregorio; Mayordomo, Elvira. PhyloFlow: A fully customizable and automatic workflow for phylogenetic reconstruction PROCEEDINGS (IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE). 2014. DOI: 10.1109/BIBM.2014.6999303
- Gu, Xiaoyang; Lutz, Jack H.; Mayordomo, Elvira; Moser, Philippe. Dimension spectra of random subfractals of self-similar fractals. ANNALS OF PURE AND APPLIED LOGIC. 2014. DOI: 10.1016/j.apal.2014.07.001
- Álvarez-Jarreta, Jorge; de Miguel Casado, Gregorio; Mayordomo, E. PhyloFlow: A Fully Customizable and Automatic Workflow for Phylogeny Estimation. F1000 POSTERS. 2014
- López-Valdés, María; Mayordomo Cámara, Elvira. Dimension is compression. THEORY OF COMPUTING SYSTEMS. 2013. DOI: 10.1007/s00224-012-9417-0
- Hitchcock, J. M.; Mayordomo, E. Base invariance of feasible dimension. INFORMATION PROCESSING LETTERS. 2013. DOI: 10.1016/j.ipl.2013.04.004
- Fortnow, L.; Lutz, J.H.; Mayordomo, E. Inseparability and Strong Hypotheses for Disjoint NP Pairs. THEORY OF COMPUTING SYSTEMS. 2012
- Ferreira, F.;Hyland, M.;Löwe, B.;Mayordomo, E. Computability in Europe 2010. ANNALS OF PURE AND APPLIED LOGIC. 2012. DOI: 10.1016/j.apal.2011.10.005
- Becher, V.; Bienvenu, L.; Downey, R.; Mayordomo, E. Computability, Complexity and Randomness. DAGSTUHL REPORTS. 2012. DOI: 10.4230/DagRep.2.1.19
- Álvarez-Jarreta,J.;Mayordomo,E.;Ruiz-Pesini,E. PHYSER: An algorithm to detect sequencing errors from phylogenetic information. ADVANCES IN INTELLIGENT AND SOFT COMPUTING. 2012. DOI: 10.1007/978-3-642-28839-5_12
- Ferreira, F.;Löwe, B.;Mayordomo, E. Programs, Proofs, Processes. THEORY OF COMPUTING SYSTEMS. 2012. DOI: 10.1007/s00224-012-9398-z
- Álvarez, J.; Blanco, R.; Mayordomo, E. Workflows with model selection: a multilocus approach to phylogenetic analysis. ADVANCES IN INTELLIGENT AND SOFT COMPUTING. 2011. DOI: 10.1007/978-3-642-19914-1_6
- Blanco, R.; Mayordomo, E.; Montoya, J.; Ruiz-Pesini, E. Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC BIOINFORMATICS. 2011
- Blanco, R.; Mayordomo, E.; Montoya, J.; Ruiz-Pesini, E. Rebooting the human mitochondrial phylogeny: An automated and scalable methodology with expert knowledge. BMC BIOINFORMATICS. 2011. DOI: 10.1186/1471-2105-12-174
- Gu, X.;Lutz, J. H. ;Mayordomo, E. Curves that must be retraced. INFORMATION AND COMPUTATION. 2011. DOI: 10.1016/j.ic.2011.01.004
- Mayordomo, E.;Moser, P. ;Perifel, S. Polylog Space Compression, Pushdown Compression, and Lempel-Ziv Are Incomparable. THEORY OF COMPUTING SYSTEMS. 2011. DOI: 10.1007/s00224-010-9267-6
- Fortnow, L.; Lutz, J. H.; Mayordomo, E. Inseparability and Strong Hypotheses for Disjoint NP Pairs. LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS. 2010
- Ferreira, F.; Löwe, B.; Mayordomo, E.; Gomes, L.M. Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010. LECTURE NOTES IN COMPUTER SCIENCE. 2010
- Blanco, R.; Mayordomo, E.; Montes, E.; Mayo, R.; Alberto, A. Scalable Phylogenetics through Input Preprocessing. ADVANCES IN SOFT COMPUTING. 2010
- Gu, X.; Lutz, J. H.; Mayordomo, E. Curves that must be retraced. OPEN ACCESS SERIES IN INFORMATICS. 2009
- Mayordomo, E.;Moser,P. Polylog Space Compression is Incomparable with Lempel-Ziv and Pushdown Compression. LECTURE NOTES IN COMPUTER SCIENCE. 2009
- Cooper, S. B.;Mayordomo,E.;Sorbi,A. Computation and Logic in the Real World: CiE 2007 %Z Held at the University of Siena, Siena, June, 2007. THEORY OF COMPUTING SYSTEMS. 2009
- Blanco, R.;Mayordomo,E. ZARAMIT: A System for the Evolutionary Study of Human Mitochondrial DNA. LECTURE NOTES IN COMPUTER SCIENCE. 2009
- Lutz, J. H.;Mayordomo,E. Dimensions of Points in Self-Similar Fractals. SIAM JOURNAL ON COMPUTING. 2008
- Hitchcock, J. M.;Lopez-Valdes,M.;Mayordomo,E. Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. THEORY OF COMPUTING SYSTEMS. 2008
- Albert, P.; Mayordomo, E.; Moser, P.; Perifel, P. Pushdown compression. LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS. 2008
- Lutz, Jh; Mayordomo, E. Dimensions of points in self-similar fractals. LECTURE NOTES IN COMPUTER SCIENCE. 2008
- Athreya, K. B.;Hitchcock,J. M.;Lutz,J. H.;Mayordomo,E. Effective Strong Dimension in Algorithmic Information and Computational Complexity. SIAM JOURNAL ON COMPUTING. 2007
- Mayordomo,E. Two open problems on effective dimension. LECTURE NOTES IN COMPUTER SCIENCE. 2006
- Fenner, S. A.;Lutz, J. H.;Mayordomo, E.;Reardon, P. Weakly Useful Sequences. INFORMATION AND COMPUTATION. 2005
- Hitchcock, J. M.; Lutz, J. H.; Mayordomo, E. The fractal geometry of complexity classes. SIGACT NEWS. 2005
- Lopez Valdes, M.;Mayordomo, E. Dimension Is Compression. LECTURE NOTES IN COMPUTER SCIENCE. 2005
- Doty, D.;Gu, X.;Lutz, J. H.;Mayordomo, E.;Moser, P. Zeta-Dimension. LECTURE NOTES IN COMPUTER SCIENCE. 2005
- Mayordomo, Elvira. P frente a NP. MEMORIAS DE LA ACADEMIA DE CIENCIAS EXACTAS, FÍSICO- QUÍMICAS Y NATURALES DE ZARAGOZA. 2004
- Dai, J. J.;Lathrop, J. I.;Lutz, J. H.;Mayordomo, E. Finite-State Dimension. THEORETICAL COMPUTER SCIENCE. 2004
- Hitchcock, John M.;Lutz, Jack H.;Mayordomo, Elvira. Scaled dimension and nonuniform complexity. JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 2004
- Athreya, K. B.;Hitchcock, J. M.;Lutz, J. H.;Mayordomo, E. Effective Strong Dimension in Algorithmic Information and Computational Complexity. LECTURE NOTES IN COMPUTER SCIENCE. 2004
- Hitchcock, J. M.;Lopez Valdes, M.;Mayordomo, E. Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. LECTURE NOTES IN COMPUTER SCIENCE. 2004
- Hitchcock, J. M.;Lutz, J. H.;Mayordomo, E. Scaled Dimension and Nonuniform Complexity. LECTURE NOTES IN COMPUTER SCIENCE. 2003
- Mayordomo, Elvira. A Kolmogorov complexity characterization of constructive Hausdorff dimension. INFORMATION PROCESSING LETTERS. 2002
- Dai, Jack J.; Lathrop, James I.; Lutz, Jack H.; Mayordomo, Elvira. Finite state dimension. LECTURE NOTES IN COMPUTER SCIENCE. 2001
- Lutz, J. H.; Mayordomo, E. Twelve problems in resource-bounded measure. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE. 1999
- Buhrman, H.;Mayordomo, E. An excursion to the Kolmogorov random strings. JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 1997
- Lutz, Jack H.; Mayordomo, Elvira. Cook versus Karp-Levin: separating completeness notions if NP is not small. THEORETICAL COMPUTER SCIENCE. 1996
- Ambos-Spies, Klaus; Mayordomo, Elvira; Wang, Yongge; Zheng, Xizhong. Resource-bounded dense genericity, stochasticity and weak randomness. LECTURE NOTES IN COMPUTER SCIENCE. 1996
- Book, R. V.;Mayordomo, E. On the robustness of ALMOST-R. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS. 1996
- Fenner, S. A.;Lutz, J. H.;Mayordomo, E. Weakly useful sequences. LECTURE NOTES IN COMPUTER SCIENCE. 1995
- Mayordomo, Elvira. Almost every set in exponential time is P-bi-immune. THEORETICAL COMPUTER SCIENCE. 1994
- J.H. Lutz, E. Mayordomo. Measure, stochasticity, and the density of hard languages. SIAM JOURNAL ON COMPUTING. 1994
- Hermo, M.; Mayordomo, E. A note on polynomial size circuits with low resource-bounded Kolmogorov complexity. THEORY OF COMPUTING SYSTEMS. 1994
- Lutz, Jack H.; Mayordomo, Elvira. Cook versus Karp-Levin: separating completeness notions if NP is not small. LECTURE NOTES IN COMPUTER SCIENCE. 1994
- Lutz, Jack H.; Mayordomo, Elvira. Measure, stochasticity, and the density of hard languages. LECTURE NOTES IN COMPUTER SCIENCE. 1993
- Mayordomo, Elvira. Almost every set in exponential time is P-bi-immune. LECTURE NOTES IN COMPUTER SCIENCE. 1992
- Balcazar, J.L.; Hermo, M.; Mayordomo, E. Characterizations of logarithmic advice complexity classes. IFIP TRANSACTIONS. COMPUTER SCIENCE AND TECHNOLOGY. 1992
Comunicaciones
- Lutz, Jack H; Lutz, Neil; Mayordomo Cámara, Elvira. Extending the Reach of the Point-To-Set Principle. LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS. 2022. DOI: 10.4230/LIPIcs.STACS.2022.48
- Ramón Júlvez, Ubaldo; Hernández Giménez, Mónica; Mayordomo Cámara, Elvira;. LDDMM meets GANs: generative adversarial networks for diffeomorphic registration. LECTURE NOTES IN COMPUTER SCIENCE. 2022. DOI: 10.1007/978-3-031-11203-4_3
- Marin, Belen; Alquezar-Baeta, Carlos; Hernandez, Monica; Mayordomo Cámara, Elvira. Evolution of GWAS results through ADNI cohorts. PROCEEDINGS (IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE). 2018. DOI: 10.1109/BIBM.2018.8621358
Capítulos
- Algorithmic fractal dimensions in geometric measure theory. Lutz, Jack H.; Mayordomo Cámara, Elvira. HANDBOOK OF COMPUTABILITY AND COMPLEXITY IN ANALYSIS. 2021
- Efficient Computation of Absolutely Normal Numbers. Mayordomo Cámara, Elvira. 6TH IBERIAN MATHEMATICAL MEETING: PROCEEDINGS. SANTIAGO DE COMPOSTELA, OCTOBER 6TH-8TH, 2016. 2016
- Effective fractal dimension in algorithmic information theory. Mayordomo, E. NEW COMPUTATIONAL PARADIGMS: CHANGING CONCEPTIONS OF WHAT IS COMPUTABLE. 2008
- Points on computable curves. Gu, X.; Lutz, J.H.; Mayordomo, E. PROCEEDINGS OF THE FORTY-SEVENTH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS’06). 2006
- Effective Hausdorff dimension. Mayordomo, E. CLASSICAL AND NEW PARADIGMS OF COMPUTATION AND THEIR COMPLEXITY HIERARCHIES, PAPERS OF THE CONFERENCE "FOUNDATIONS OF THE FORMAL SCIENCES III". 2004
- Twelve problems in resource-bounded measure. Lutz, J.H.; Mayordomo, E. CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE, ENTERING THE 21STCENTURY. 2001
- Complexity, Logic and Recursion Theory. Ambos-Spies, K.; Mayordomo, E. RESOURCE-BOUNDED MEASURE AND RANDOMNESS. 1997
- A comparison of weak completeness notions. Ambos-Spies, K.; Mayordomo, E.; Zheng, X. PROCEEDINGS OF THE TENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY(CCC'96). 1996
- A note on genericity and bi-immunity. Balcázar, J.L.; Mayordomo, E. PROCEEDINGS OF THE TENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC'95). 1995
- An excursion to the Kolmogorov random strings. Buhrman, H.; Mayordomo, E. PROCEEDINGS OF THE TENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC'95). 1995
- Measuring in PSPACE. Mayordomo, E. DEVELOPMENTS IN THEORETICAL COMPUTER SCIENCE: PROCEEDINGS OF THE 7TH INTERNATIONAL MEETING OF YOUNG COMPUTER SCIENTISTS, SMOLENICE, 16-20 NOVEMBER 1992. 1994
Colaboraciones en ediciones de revista
- JOURNAL OF SYMBOLIC LOGIC. 0022-4812. 01/01/24 - 31/12/26
- THEORY OF COMPUTING SYSTEMS. 1432-4350. 27/08/12
- Computability. 2211-3568. 21/05/11
- ACM Transactions on Computation Theory. 1942-3454. 01/08/07
Proyectos
- Complexity and Dimension: Extending the reach of the point-to-set principle. 31/03/24 - 30/03/26
- PID2022-138703OB-I00: Inteligencia artificial explicable hacia soluciones de diagnóstico asistido por computador usables y fiables para enfermedades neurodegenerativas: tendiendo puentes de conocimiento entre el cerebro y el ojo a través del nervio óptico (Trust-BEyE). 01/09/23 - 31/08/26
- T64_23R: COSMOS, Computer Science for Complex System modelling. 01/01/23 - 31/12/25
- PID2019-104358RB-I00: Métodos para el diagnóstico y pronóstico asistidos por computador de enfermedades neurodegenerativas mediante anatomía computacional, genética en imagen y deep-learning. 01/06/20 - 29/02/24
- T64_20R: Computer Science For Complex System Modelling (Cosmos). 01/01/20 - 31/12/22
- TIN2016-80347-R: INTEGRACIÓN DE MODELOS BIOINFORMÁTICOS, COGNITIVOS Y DE ANATOMÍA COMPUTACIONAL PARA LA MEJORA DEL DIAGNÓSTICO DE ENFERMEDADES NEURODEGENERATIVAS. 30/12/16 - 31/12/20
- GRUPO CONSOLIDADO T27 GRUPO DE INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS. 01/01/16 - 31/12/16
- UZ2016-TEC-03: INTEGRACIÓN DE MODELOS BIOINFORMÁTICOS, COGNITIVOS Y DE ANATOMÍA COMPUTACIONAL PARA LA MEJORA DEL DIAGNÓSTICO DE ENFERMEDADES NEURODEGENERATIVAS. 01/01/16 - 31/12/16
- GRUPO CONSOLIDADO T27 GRUPO DE INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS. 01/01/15 - 31/12/15
- GRUPO CONSOLIDADO T27 INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS (GISED). 01/01/14 - 31/12/14
- FCT-13-7848: DESAFÍO BotPrize: HACIA UNA NUEVA GENERACIÓN DE PERSONAJES VIRTUALES. 01/11/13 - 31/08/14
- GRUPO CONSOLIDADO T27 INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS (GISED). 01/01/13 - 31/12/13
- TIN2011-27479-C04-01.MINERIA EN DATOS BIOLOGICOS Y SOCIALES: ALGORITMOS, TEORIA E IMPLEMENTACION. 01/01/12 - 30/06/15
- GRUPO CONSOLIDADO T27 INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS (GISED). 01/01/11 - 31/12/12
- TIN2008-06582-C03-02. SECUENCIAS SIMBOLICAS: ANALISIS, APRENDIZAJE , MINERIA Y EVOLUCION. 01/01/09 - 31/12/11
- GRUPO EXCELENTE T27 GRUPO DE INGENIERIA DE SISTEMAS DE EVENTOS DISCRETOS (GISED). 01/01/08 - 31/12/10
- PM063/2007 ZARAMIT: SISTEMA INFORMÁTICO PARA DNA MITOCONDRIAL HUMANO Y SU ESTUDIO EVOLUTIVO. 01/10/07 - 30/09/09
- TIN2005-08832-C03-02. MODELADO INDIVIDUALIZADO DE SECUENCIAS SIMBÓLICAS. 31/12/05 - 30/12/08
- INF2005-TEC-002. ESTACIONES DE TRABAJO Y PERIFERIA PARA EL LABORATORIO INFORMATICO DE INVESTIGACION DEL GRUPO. 13/07/05 - 31/12/05
- GRUPO EXCELENTE T27 INGENIERIA DE SISTEMAS DE EVENTOS DISCRETOS. GISED. 01/01/05 - 31/12/07
- SGER: Multidisciplinary Aspects of Computation Theory. 01/09/03 - 01/03/06
- GRUPO CONSOLIDADO T27 INGENIERIA DE SISTEMAS DE EVENTOS DISCRETOS. 01/01/03 - 31/12/04
- DOTACION ADICIONAL 2002.TIC2002-04019-C03-02. 01/12/02 - 30/11/05
- TIC2002-04019-C03-03.MODELO INDIVIDUALIZADO DE SECUENCIAS SIMBOLICAS. 01/12/02 - 30/11/05
- PB98-0937-CO4-02 COMPLEJIDAD Y MEDIDA EN RAMATICAS SUAVEMENTE SENSIBLES AL CONTEXTO. 30/12/99 - 30/12/02
- TIC98-0973-C03. CAD INTEGRADO PARA SISTEMAS DE ILUMINACION Y LUMINARIAS: ZARAGOZA. 01/10/98 - 30/09/01
- Instance Complexity y su relación con las clases de complejidad no uniforme. 01/01/96 - 31/12/96
- Construcción de generadores pseudoaleatorios a partir de la medida de recursos acotados de Lutz. 01/08/95 - 01/08/98
- Instance Complexity y su relación con las clases de complejidad no uniforme. 01/01/95 - 31/12/95
- Complexity, Logic and Recursion Theory (COLORET). 01/01/94 - 31/03/97
- Clases probabilísticas y modelos de cálculo no uniformes. 01/01/93 - 31/12/93
- Algorithms and Complexity (ALCOM II). 01/01/92 - 31/05/95
Contratos
- CERTIFICACIÓN DE PROYECTOS DE I+D+I. 01/04/24 - 31/12/24
Dirección de tesis
- Molecular Phylogenetic Analysis: Design and implementation of scalable and reliable algorithms and verification of phylogenetic properties. Universidad de Zaragoza. Sobresaliente cum laude. 06/06/17
- MITOCLASS.1. Un predictor de patogenicidad para mutaciones no sinónimas en los polipéptidos codificados por el mtDNA humano. Universidad de Zaragoza. Sobresaliente cum laude. 12/09/16
- Aplicaciones de la dimensión efectiva a la complejidad omputacional y a los algoritmos de comprensión de datos. Universidad de Zaragoza. Sobresaliente "Cum Laude". 15/11/11
Dirección de proyectos fin de carrera
- Política de seguridad para la trazabilidad de aplicaciones de sistemas de alto rendimiento. Universidad de Zaragoza. Aprobado. 16/03/16
- Diseño y estudio de herramientas para el análisis del índice de conservación del ADN mitocondrial. Universidad de Zaragoza. Notable. 09/07/14
- Estudio y análisis de métodos de inferencia filogénética: del ADN a las proteinas. Universidad de Zaragoza. Notable. 12/12/12
- ANÁISIS TEÓRICO-PRÁCTICO DE MÉTODOS DE INFERENCIA FILOGENÉTICA BASADOS EN SELECCIÓN DE MODELOS Y MÉTODOS DE SUPERÁRBOLES. Universidad de Zaragoza. Sobresaliente. 24/09/10
- APLICACIÓN DE LAS 2 ESTRUCTURAS A LAS GRAMÁTICAS DEL LENGUAJE HUMANO Y REPRESENTACIÓN GRÁFICA DE AMBAS. Universidad de Zaragoza. Sobresaliente. 24/09/10
- DESARROLLO E IMPLEMENTACIÓN DE UIN ENTORNO DE ANÁLISIS FILOGENÉTICO BASADO EN LA CLASIFICACIÓN POR HAPLOGRUPOS MITOCONDRIALES MEDIANTE... Universidad de Zaragoza. Notable. 28/09/09
- DEFINICIÓN Y PROTOTIPO DE HERRAMIENTA DE ANÁLISIS FILOGENÉTICO PARA EL ESTUDIO DEL ADN MITOCONDRIAL HUMANO. Universidad de Zaragoza. Notable. 11/09/08
- ALGORITMOS DE COMPRESIÓN PARA SECUENCIAS BIOLÓGICAS Y SU APLICACIÓN EN ÁRBOLES FILOGÉNICOS CONSTRUIDOS A PARTIR DE ADN MITOCONDRIAL. Universidad de Zaragoza. Notable. 15/12/06
- MODELIZACION DE BUCLES EN PROTEINAS TRANSMEMBRANALES. Universidad de Zaragoza. Matrícula de honor. 07/07/06
- REMOTE MEASUREMENT STATION FOR FISH DETECTION (ESTACIÓN REMOTA DE MEDICIONES PARA LA DETECCIÓN DE PECES). Universidad de Zaragoza. Notable. 14/12/04
- DESARROLLO DE UNA PLATAFORMA MULTICANAL PARA ENTIDAD BANCARIA. Universidad de Zaragoza. Notable. 28/06/04
- SISTEMA DE COMPARACION Y DETECCION DE COPIAS DE SOFTWARE. Universidad de Zaragoza. Notable. 20/05/04
- CONSTRUCCIÓN DE UNA HERRAMIENTA DE EJECUCIÓN DE ESPECIFICACIONES ALGEBRAICAS JUNTO CON UNA BIBLIOTECA DE TAD'S. Universidad de Zaragoza. Notable. 25/02/04
- DESARROLLO DE UN SISTEMA DE BÚSQUEDA DE PATRONES DE MATRÍCULA EN LA UNIVERSIDAD DE ZARAGOZA. Universidad de Zaragoza. Notable. 13/11/02
- ANIMACIONES DE ESTRUCTURAS DE DATOS Y ALGORITMOS. Universidad de Zaragoza. Notable. 10/07/02
- GESTOR DE TAREAS PARALELAS: MYSHANET PREPROCESSOR. Universidad de Zaragoza. Notable. 10/07/00
- GENERACION CRIPTOGRAFICA DE NUMEROS ALEATORIOS. Universidad de Zaragoza. Notable. 27/05/99
Dirección de proyectos fin de grado
- Estudio de la influencia del autoencoder en el problema de diagnóstico de la enfermedad de Alzheimer a partir de datos tabulares. Universidad de Zaragoza. Notable. 16/07/24
- Modelos de supervivencia e inteligencia artificial explicable en la predicción del riesgo de conversión de deterioro cognitivo leve a Alzhéimer. Universidad de Zaragoza. Sobresaliente. 16/07/24
- Explainable Boosting Machine en la predicción de la conversión desde deterioro cognitivo leve a alzheimer usando datos longitudinales. Universidad de Zaragoza. Notable. 16/07/24
- Dimensión de Hausdorff en el espacio de distribuciones de probabilidad con técnicas de teoría de la información. Universidad de Zaragoza. Matrícula de honor. 15/12/23
- Reconstrucción computacional rápida de árboles filogenéticos de SARS-Cov-2. Universidad de Zaragoza. Notable. 04/10/22
- ZPERF: una familia de hash perfecto eficiente y de tamaño casi mínimo. Universidad de Zaragoza. Matrícula de honor. 08/09/22
- Caracterización de la enfermedad de Alzhéimer utilizando datos genómicos y redes neuronales profundas. Universidad de Zaragoza. Notable. 16/12/21
- Estudio comparativo e interpretabilidad de modelos estáticos y temporales de redes neuronales en la predicción de la evolución de la enfermedad de Alzheimer dentro del TadPole challenge. Universidad de Zaragoza. Notable. 08/07/21
- Selección de características en deep-learning para el análisis de la enfermedad de Alzheimer a partir de imagen y genética. Universidad de Zaragoza. Notable. 15/02/21
- Asociación de haplotipos mitocondriales con biomarcadores estructurales de MRI para la caracterización de la enfermedad de Alzheimer. Universidad de Zaragoza. Notable. 18/12/20
- Predicción del diagnóstico de la enfermedad de Alzhéimer mediante deep-learning en imágenes 18 F-FDG PET. Universidad de Zaragoza. Notable. 15/09/20
- Estudio de la reproducibilidad e interpretabilidad de los métodos más precisos del TadPole challenge para el diagnóstico y pronóstico de la enfermedad de Alzheimer. Universidad de Zaragoza. Notable. 15/09/20
- Un estudio de asociación genómica basado en aprendizaje automático para la caracterización de la enfermedad de Alzheimer. Universidad de Zaragoza. Notable. 09/07/20
- Un modelo predictivo basado en deep learning para la caracterización de la evolución de la enfermedad de Alzheimer. Universidad de Zaragoza. Sobresaliente. 10/09/19
- Diagnosis de Alzheimer basada en datos genéticos y de imagen médica, una primera aproximación. Universidad de Zaragoza. Notable. 14/12/17
- Comparación de algoritmos de anonimización: Mondrian y Datafly. Universidad de Zaragoza. Notable. 13/09/17
Dirección de proyectos fin de master
- Descomposición Ortogonal Propia en registro mediante difeomorfismos. Universidad de Zaragoza. Sobresaliente. 22/09/22
- LDDMM y GANs: Redes Generativas Antagónicas para registro difeomorfico. Universidad de Zaragoza. Matrícula de honor. 11/02/22
- Realización de un estudio de asociación genómica en el repositorio público ADNI. Universidad de Zaragoza. Notable. 14/12/18
- Análisis filogenético molecular: Diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia. Universidad de Zaragoza. Sobresaliente. 20/09/11
- Computational phylogenetics for human mitochondrial DNA. Universidad de Zaragoza. Sobresaliente. 10/09/09
Investigaciones anteriores
- Profesora Titular de Universidad. Centro Politécnico Superior. 04/12/96 - 16/08/07
- Profesora Asociada Tiempo Completo. Centro Politécnico Superior. 01/02/94 - 03/12/96
- Becaria de FPI. Universitat Politècnica de Catalunya. 01/01/91 - 31/01/94
Participaciones en congresos
- XXVIII incontro de logica AILA. Participativo - Plenaria. On information theory in geometric measure theory. Udine. 03/09/24
- Computability in Europe 2024 (CiE 2024). Participativo - Plenaria. Further Extensions of the Point to Set Principle. Amsterdam. 08/07/24
- XIII JORNADA DE JÓVENES INVESTIGADORES/AS DEL I3A. Participativo - Póster. EPDIFF-JF-NET: Adjoint Jacobi Fields for Diffeomorphic Registration Networks. Zaragoza. 26/06/24
- International Symposium on Biomedical Image (ISBI 2024). Participativo - Ponencia oral (comunicación oral). EPDiff-JF-Net: Adjoint Jacobi fields for diffeomorphic registration networks. Atenas. 27/05/24
- The 17th International Conference on Computability Complexity and Randomness (CCR 2024). Participativo - Ponencia oral (comunicación oral). Robust Normality. Nagoya. 11/03/24
- Computability in Europe 2023. Participativo - Ponencia oral (comunicación oral). A point to set principle for finite-state dimension. Batumi. 24/07/23
- ASL Logic Colloquium 2023. Participativo - Plenaria. Extensions of the point to set principle. Milan. 05/06/23
- ASL North American meeting. Participativo - Plenaria. Extensions of the point to set principle. Irvine. 26/03/23
- II Encuentro RSME-UMA. Participativo - Plenaria. Los principios de punto a conjunto: un viaje desde la teoría de la información algorítmica a la teoría de la medida geométrica. Ronda. 12/12/22
- Computability in Europe (CiE 2022). Participativo - Ponencia invitada/ Keynote. Algorithmic Dimensions, the Point-To-Set Principles, and the Complexity of Oracles. Swansea. 11/07/22
- Nineteenth International Conference on Computability and Complexity in Analysis (CCA 2022). Participativo - Plenaria. Exploring the point-to-set principles for algorithmic dimensions. Glenside, PA. 23/05/22
- 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022). Participativo - Ponencia oral (comunicación oral). Extending the Reach of the Point-to-Set Principle. Marsella. 15/03/22
- Descriptive Set Theory and Computable Topology. Participativo - Ponencia invitada/ Keynote. Resource-bounded effective dimension and the point-to-set principle. Wadern. 18/11/21
- DMV-ÖMG Annual Meeting. Participativo - Ponencia invitada/ Keynote. Extending the reach of the point-to-set principle. Passau. 29/09/21
- Continuity, Computability, Constructivity (CCC 2020). Participativo - Ponencia invitada/ Keynote. Effective dimension: from computation to fractal geometry and number theory. Faro. 31/08/20
- Algorithmic randomness. Participativo - Ponencia invitada/ Keynote. Effective fractal dimension in the hyperspace and the space of probability distributions. Palo Alto, California. 13/08/20
- 2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI). Participativo - Póster. Analysis of the Influence of Diffeomorphic Normalization in the Prediction of Stable VS Progressive MCI Conversion with Convolutional Neural Networks. Iowa City, Iowa. 03/04/20
- 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020). Participativo - Ponencia oral (comunicación oral). Asymptotic Divergences and Strong Dichotomy. Montpellier. 10/03/20
- Computability, Continuity, Constructivity (CCC 2019). Participativo - Ponencia oral (comunicación oral). The Hyperspace Dimension Theorem. Ljubljana. 02/09/19
- Workshop on Computability Theory 2019. Participativo - Ponencia invitada/ Keynote. The return trip to classical fractal theory from effective fractal dimension. Leeds. 22/07/19
- Fourteenth international conference on computability, complexity and randomness (CCR 2019). Participativo - Plenaria. The return trip to classical fractal theory from effective fractal dimension. Astana. 23/06/19
- Equidistribution: Arithmetic, Computational and Probabilistic Aspects. Participativo - Ponencia invitada/ Keynote. Asymptotic divergences and strong dichotomy. Singapur. 09/05/19
- 13th International Conference on Computability, Complexity and Randomness (CCR 2018). Participativo - Ponencia oral (comunicación oral). Selection, Divergence, and Dichotomy. Santiago. 17/12/18
- IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018. Participativo - Póster. Evolution of GWAS results through ADNI cohorts. Madrid. 03/12/18
- Computability in Europe 2018. Participativo - Ponencia oral (comunicación oral). A point-to-set principle for separable metric spaces. Kiel. 30/07/18
- CCC 2017 Continuity, Computability, Constructivity. Participativo - Ponencia oral (comunicación oral). Computing Absolutely Normal Numbers in Nearly Linear Time. Nancy. 26/06/17
- Computability in Europe 2017. Participativo - Ponencia oral (comunicación oral). Effective exact Hausdorff dimension in general metric spaces. Turku. 12/06/17
- NWC 2017 New Worlds of Computation. Participativo - Ponencia invitada/ Keynote. Effective Hausdorff dimension in general metric spaces. Orléans. 12/04/17
- Workshop on Normal Numbers: Arithmetic, Computational and Probabilistic Aspects. Participativo - Ponencia invitada/ Keynote. Efficient Computation of Absolutely Normal Numbers. Viena. 13/11/16
- 6th Iberian Mathematical Meeting. Participativo - Ponencia invitada/ Keynote. Efficient Computation of Absolutely Normal Numbers. Santiago de Compostela. 06/10/16
- IEEE International Conference on Bioinformatics and Biomedicine (BIBM). Participativo - Ponencia oral (comunicación oral). PhyloFlow: A Fully Customizable and Automatic Workflow for Phylogenetic Reconstruction. Belfast. 02/11/14
- 13th European Conference on Computational Biology. Participativo - Póster. PhyloFlow: A Fully Customizable and Automatic Workflow for Phylogeny Estimation. Starsbourg. 07/09/14
- Computability in Europe 2013. Participativo - Ponencia oral (comunicación oral). Effective dimension in general metric spaces and applications. Milan. 01/07/13
- AMS central section meeting. Participativo - Ponencia invitada/ Keynote. Effective dimension in general metric spaces. Ames, IA. 28/04/13
- Turing in context II. Participativo - Ponencia invitada/ Keynote. From Computability to Information Theory. Bruselas. 10/12/12
- Ninth International Conference on Computability and Complexity in Analysis (CCA 2012). Participativo - Ponencia invitada/ Keynote. Effective Dimension in Euclidean space. Cambridge. 24/06/12
- Ninth International Conference on Computability and Complexity in Analysis (CCA 2012). Participativo - Ponencia oral (comunicación oral). Dimension spectra of random subfractals of self-similar fractals. Cambridge. 24/06/12
- 8th International Workshop on Developments in Computational Models (DCM 2012). Participativo - Ponencia invitada/ Keynote. Fractal techniques in information theory. Cambridge. 17/06/12
- 6th International Conference on Practical Applications of Computational Biology & Bioinformatics. Participativo - Ponencia oral (comunicación oral). PHYSER: An algorithm to detect sequencing errors from phylogenetic information. Salamanca. 28/03/12
- 5th International Conference on Practical Applications of Computational Biology & Bioinformatics. Participativo - Ponencia oral (comunicación oral). Workflows with model selection: a multilocus approach to phylogenetic analysis. Salamanca. 06/04/11
- Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010. Organizativo - Comité científico y organizador. Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010. Ponta Delgada, Azores. 30/06/10
- 4th International Workshop on Practical Applications of Computational Biology & Bioinformatics. Participativo - Ponencia oral (comunicación oral). Scalable Phylogenetics through Input Preprocessing. Salamanca. 16/06/10
- Twenty-Seventh Symposium on Theoretical Aspects of Computer Science (STACS 2010). Participativo - Ponencia oral (comunicación oral). Inseparability and Strong Hypotheses for Disjoint NP Pairs. Nancy. 04/03/10
- 9th Workshop on Algorithms in Bioinformatics (WABI 2009). Participativo - Póster. Exhaustive mitochondrial phylogenetics: challenges and solutions. Philadelphia. 12/09/09
- Sixth International Conference on Computability and Complexity in Analysis (CCA 2009). Participativo - Ponencia oral (comunicación oral). Curves that must be retraced. Ljubljana. 18/08/09
- 17 Annual International Conference on Intelligent Systems for Molecular Biology/8th European Conference. Participativo - Póster. Building maintainable, exhaustive human mitochondrial phylogenies. Estocolmo. 27/06/09
- 3rd International Workshop on Practical Applications of Computational Biology & Bioinformatics. Participativo - Ponencia oral (comunicación oral). ZARAMIT: a system for the evolutionary study of human mitochondrial DNA. Salamanca. 10/06/09
- 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’09). Participativo - Ponencia oral (comunicación oral). polylog space compression is incomparable with Lempel-Ziv and pushdown compression. Špindlerův Mlýn. 24/01/09
- 14th Annual International Computing and Combinatorics Conference (COCOON’08). Participativo - Ponencia oral (comunicación oral). Dimensions of points in self-similar fractals. Dalian. 27/06/08
- Twenty-Fifth Symposium on Theoretical Aspects of Computer Science (STACS'08). Participativo - Ponencia oral (comunicación oral). Pushdown compression. Bordeaux. 21/02/08
- II Jornadas de Innovación Educativa de la Escuela Politécnica Superior de Zamora. Participativo - Ponencia oral (comunicación oral). Distribución de la carga discente: estudio sobre las titulaciones del Centro Politécnico Superior de la Universidad de Zaragoza. Zamora. 19/06/07
- I Jornadas de Innovación Docente, Tecnologías de la Información y la Comunicación e Investigación Educativa en la Universidad de Zaragoza. Participativo - Ponencia oral (comunicación oral). Estudio sobre la carga de trabajo del estudiante en las titulaciones del CPS. Zaragoza. 23/11/06
- Forty-Seventh Annual IEEE Symposium on Foundations of Computer Science (FOCS’06). Participativo - Ponencia oral (comunicación oral). Points on computable curves. Berkeley, California. 21/10/06
- Computability in Europe 2006. Participativo - Ponencia invitada/ Keynote. The fractal dimension of complexity classes. Swansea. 30/06/06
- 30th International Symposium on Mathematical Foundations of Computer Sience (MFCS'05). Participativo - Ponencia oral (comunicación oral). Zeta-Dimension. Gdansk. 29/08/05
- 30th International Symposium on Mathematical Foundations of Computer Sience (MFCS'05). Participativo - Ponencia oral (comunicación oral). Dimension is Compression. Gdansk. 29/08/05
- 29th International Symposium on Mathematical Foundations of Computer Sience (MFCS'04). Participativo - Ponencia oral (comunicación oral). Scaled dimension and the Kolmogorov complexity of Turing-hard sets. Prague. 22/08/04
- Twenty-First Symposium on Theoretical Aspects of Computer Science (STACS'04). Participativo - Ponencia oral (comunicación oral). Effective strong dimension in algorithmic information and computational complexity. Montpellier. 25/03/04
- Thirtieth International Colloquiumon Automata, Languages, and Programming (ICALP'03). Participativo - Ponencia oral (comunicación oral). Scaled dimension and non-uniform complexity. Eindhoven. 30/06/03
- Twenty-Eigth International Colloquium on Automata, Languages, and Programming (ICALP'01). Participativo - Ponencia oral (comunicación oral). Finite state dimension. Crete. 08/07/01
- Tenth Annual IEEE Conference on Computational Complexity(CCC'96). Participativo - Ponencia oral (comunicación oral). A comparison of weak completeness notions. Philadelphia, PA. 24/05/96
- Proceedings of the Thirteenth Symposium on Theoretical Aspects of Computer Science (STACS'96). Participativo - Ponencia oral (comunicación oral). Resource-bounded dense genericity, stochasticity and weak randomness. Grenoble. 22/02/96
- Twenty-Second International Colloquium on Automata, Languages, and Programming (ICALP'95). Participativo - Ponencia oral (comunicación oral). Weakly useful sequences. Szeged. 10/07/95
- Tenth Annual IEEE Conference on Computational Complexity (CCC'95). Participativo - Ponencia oral (comunicación oral). A note on genericity and bi-immunity. Minneapolis, Minnesota. 19/06/95
- Tenth Annual IEEE Conference on Computational Complexity (CCC'95). Participativo - Ponencia oral (comunicación oral). An excursion to the Kolmogorov random strings. Minneapolis, Minnesota. 19/06/95
- Eleventh Symposium on Theoretical Aspects of Computer Science (STACS'94). Participativo - Ponencia oral (comunicación oral). Cook versus Karp-Levin: separating completeness notions if NP is not small. Caen. 24/02/94
- Tenth Symposium on Theoretical Aspects of Computer Science (STACS'93). Participativo - Ponencia oral (comunicación oral). Measure, stochasticity, and the density of hard languages. Würzburg. 25/02/93
- 7th International Meeting of Young Computer Scientists (IMYCS'92). Participativo - Ponencia oral (comunicación oral). Measuring in PSPACE. Smolenice Castle. 16/11/92
- IFIP 12th World Computer Congress (IFIP'92). Participativo - Ponencia oral (comunicación oral). Characterizations of logarithmic advice complexity classes. Madrid. 07/09/92
- 17th International Symposium on Mathematical Foundations of Computer Sience (MFCS'92). Participativo - Ponencia oral (comunicación oral). Almost every set in exponential time is P-bi-immune. Prague. 24/08/92
Estancias
- Universidad de Heidelberg. Heidelberg. Alemania. 21/06/15 - 12/07/15
- Isaac Newton Institute. Cambridge. Reino Unido. 29/04/12 - 07/07/12
- Iowa State University. Ames, IA. Estados Unidos de América. 02/03/07 - 28/06/07
- Iowa State University. Ames, IA. Estados Unidos de América. 02/03/03 - 14/06/03
- Iowa State University. Ames, IA. Estados Unidos de América. 01/03/00 - 31/05/00
- Iowa State University. Ames, IA. Estados Unidos de América. 01/03/97 - 30/04/97
- Iowa State University. Ames, IA. Estados Unidos de América. 01/06/92 - 30/06/92
- Iowa State University. Ames, IA. Estados Unidos de América. 28/06/91 - 19/09/91
Comités
- Presidenta de la asociación científica Computability in Europe. Computability in Europe. 02/07/20
- Computability in Europe (Council). Computability in Europe. 05/02/16
- EATCS Young Researcher School Liaison Committee. European Association for Theoretical Computer Science (EATCS). 20/08/13 - 31/01/24
- EATCS Award Committee. European Association for Theoretical Computer Science (EATCS). 01/03/13 - 31/01/24
- EATCS Council (actualmente denominado EATCS General Assembly). European Association for Theoretical Computer Science (EATCS). 04/11/11 - 02/02/24
- Computability in Europe Publications Committee. Computability in Europe. 01/01/09
- Computability in Europe (Board). Computability in Europe. 16/11/05 - 04/02/16
Organizaciones de actividades de I+D+i
- 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). 28/08/23 - 31/08/23
- The 15th Latin American Theoretical Informatics Symposium (LATIN 2022). 07/11/22 - 11/11/22
- Fifteenth International Conference on Computability, Complexity and Randomness (CCR 2022). 06/06/22 - 10/06/22
- Leeds Computability Days 2022. 30/05/22 - 01/06/22
- Continuity, Computability, Constructivity (CCC 2021). 19/09/21 - 24/09/21
- 46th International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2020). 20/01/20 - 24/01/20
- Computability in Europe 2019 (CiE 2019). 15/07/19 - 19/07/19
- 45th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2019). 27/01/19 - 30/01/19
- Joint Mathematical Meeting (JMM 2019). 16/01/19 - 19/01/19
- Fifteenth International Conference on Computability and Complexity in Analysis (CCA 2018). 05/08/18 - 08/08/18
- 12th International Workshop on Developments in Computational Models (DCM 2018). 08/07/18 - 08/07/18
- 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017). 16/01/17 - 20/01/17
- CiE 2016: Pursuit of the Universal. 27/06/16 - 01/07/16
- Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016). 15/06/16 - 17/06/16
- 11th International Computer Science Symposium in Russia (CSR 2016). 09/06/16 - 13/06/16
- 11th International Conference on Computability, Complexity, and Randomness (CCR 2016). 04/01/16 - 08/01/16
- DCM 2015, 11th International Workshop on Developments in Computational Models. 28/10/15 - 28/10/15
- 40th International Symposium on Mathematical Foundation of Computer Science (MFCS 2015). 24/08/15 - 28/08/15
- ICALP 2015, International Colloquium on Automata, Languages and Programming. 06/07/15 - 10/07/15
- IFIP TCS 2014, Theoretical Computer Science. 01/09/14 - 03/09/14
- CCA 2014, Eleventh International Conference on Computability and Complexity in Analysis. 21/07/14 - 24/07/14
- DCM 2014, 10th International Workshop on Developments in Computational Models. 13/07/14 - 13/07/14
- Latin 2014, 11th Latin American Theoretical INformatics Symposium. 31/03/14 - 04/04/14
- CCR 2012 Seventh International Conference on Computability, Complexity and Randomness. 02/07/12 - 06/07/12
- LATIN 2012 Latin American Symposium on Theoretical Informatics. 15/04/12 - 20/04/12
- Computability, Complexity and Randomness. 08/01/12 - 12/01/12
- Semantic and Syntax: A Legacy of Alan Turing. 01/01/12 - 06/07/12
- CiE 2011: Models of Computation in Context. 01/06/11 - 08/06/11
- CiE 2010: Programs, Proofs, Processes. 29/06/10 - 06/07/10
- Seventh International Conference on Computability and Complexity in Analysis. 21/06/10 - 28/06/10
- Logical Approaches to Barriers in Computing and Complexity (Greifswald, Alemania). 17/02/10 - 24/02/10
- 4th Computer Science Symposium in Russia, CSR 2009. 18/08/09 - 25/08/09
- CCR Conference Series Steering Committee. 24/07/09
- CiE 2009: Mathematical Theory and Computational Practice. 19/07/09 - 26/07/09
- CiE 2009: Mathematical Theory and Computational Practice. 19/07/09 - 26/07/09
- CiE 2008: Logic and Theory of Algorithms. 01/06/08 - 07/06/08
- International Conference on Infinity in Logic and Computation. 03/11/07 - 10/11/07
- CiE 2007: Computation and Logic in the Real World. 18/06/07 - 25/06/07
- CiE 2007: Computation and Logic in the Real World. 18/06/07 - 25/06/07
- CiE Conference Series Steering Committee. 16/11/05 - 31/12/10
- CiE 2005: New computational paradigms. 08/06/05 - 15/06/05
- 29th International Colloquium on Automata, Languages and Programming (ICALP’02). 08/07/02 - 15/07/02
- Thirteenth Annual IEEE Conference on Computational Complexity (CCC’98). 15/06/98 - 20/06/98
Gestiones de actividades de I+D+i
- Ministerio de Ciencia e Innovación. Investigación. Experto en las Jornadas de seguimiento científico-técnico de los proyectos correspondientes a la Subárea temática de Ciencia de la Computación y Tecnología Informática (INF). 19/12/23 - 22/02/24
- Agència per a la Qualitat del Sistema Universitari de Catalunya. Comissió d’Apellacions de l’Agència per a la Qualitat del Sistema Universitari de Catalunya (AQU Catalunya). 29/11/23
- Ministerio de Ciencia e Innovación. Investigación. Vocal suplente de la Comisión de Revisión de Ingeniería y Arquitectura del Programa ACADEMIA. 08/03/22
- Ministerio de Ciencia e Innovación. Investigación. Miembro de la comisión de selección de proyectos de I+D del Área Tecnologías de la Información y de las Comunicaciones (TIC)-Subárea Ciencias de la Computación y Tecnología Informática (INF). 08/02/21 - 30/04/21
- Conselleria d'Innovació, Recerca i Turisme. Coordinadora de becas predoctorales del área de ingenierias. 24/07/18 - 04/10/18
- Comisión Nacional Evaluadora de la Actividad Investigadora (CNEAI). Miembro del comité asesor 6 (2): Ingenierías de la Comunicación, Computación y Electrónica. 27/02/13 - 23/02/15
- Ministerio de Ciencia e Innovación. Vocal de la Comisión de selección de proyectos de I+D, Programa Nacional de Tecnologías de la Información (TIN). 11/04/12 - 13/07/12
- Ministerio de Ciencia e Innovación. Vocal de la Comisión de selección de proyectos de I+D, Programa Nacional de Tecnologías de la Información (TIN). 02/06/10 - 30/06/10
- Ministerio de Ciencia y Tecnología. Vocal de la Comisión de selección de proyectos de I+D, Programa Nacional de Tecnologías de la Información (TIN). 05/04/06 - 30/06/06
Otros méritos
- Ranking de investigadoras españolas y extranjeras en España según Google Scholar (Primera edición, junio 2022). Se trata de una clasificación con las 5.000 científicas españolas y extranjeras, que investigan en organismos españoles, clasificadas según los indicadores de sus perfiles personales públicos en la base de datos Google Académico. 01/06/22
- CV actualizado. http://webdiis.unizar.es/~elvira/CVN.pdf. 22/07/21
- Conferencias Invitadas. - Invitación en ocho ocasiones al Centro Internacional de Investigación en Informática Schloss Dagstuhl, en Alemania (Dagstuhl Seminars 9407, 96292, 9640, 03181, 06051, 11121, 12021, 21461) en 1994, 1996, 2003, 2006, 2011, 2012 y 2021. La participación en estos seminarios de reconocida calidad científica sólo es posible por invitación personal de dicho centro.
- Invitación al Erwin Schrödinger International Institute (ESI), en Austria, para el workshop 'Normal Numbers: Arithmetical, Computational and Probabilistic Aspects', en 2016, financiado por el mismo centro.
- Invitación al Mathematics Center Heidelberg (MatCH), en Alemania, durante el 'focus semester Computability and Randomness', en 2015, financiada por el mismo centro.
- Invitación al Centro Internacional de Investigación Mathematisches Forschungsinstitut Oberwolfach, en Alemania (workshops 1206, 1802 y 2117) en 2012, 2018 y 2021.
- Invitación al Centro de Investigación American Institute of Mathematics (Palo Alto, California, EE.UU.) en Agosto de 2006, Agosto de 2020, Agosto de 2022 y Agosto de 2023.
- Invitación al Centre International de Rencontres Mathématiques (Marseille, Francia) en Julio de 2009, marzo de 2022 y febrero de 2024.
- Invitación en Mayo de 2010 a la Universidad de Notre Dame (Indiana, EE.UU.) para la 5th Conference on Logic, Computability and Randomness.
- Invitación en julio de 2010 al Workshop on Computability Theory (Azores Portugal).
- Invitación al centro de investigación Isaac Newton en Cambridge, Reino Unido, de mayo a julio de 2012 y en junio de 2022.
- Invitación al centro de investigación Institute for Mathematical Sciences en Singapur, en agosto de 2017 y mayo de 2019.
- Invitación al centro de investigación The Fields Institute for Research in Mathematical Sciences en Waterloo, Canadá, en junio de 2018.
- Invitación al centro de investigación Sirius Mathematical Center en Sochi (Rusia) en junio de 2022. Invitación declinada en abril de 2022.
. 13/07/20
- Conferencias invitadas (y 2). - Invitación al centro de investigación Banff International Research Station (BIRS), of the Institute for Advanced Study in Mathematics (IASM-Hangzhou) en Hangzhou, China, en octubre de 2023.
- Invitación al centro de investigación Banff International Research Station en Banff, Canadá, en marzo de 2023.
- Conferenciante invitada a la PhD EuroConference Foundations of the Formal Sciences III, Complexity in Mathematics and Computer Science, septiembre 2001, Viena.
- Conferenciante invitada a la sesión especial de 'Theoretical Informatics/Computer Science' de la conferencia 6th Iberian Mathematical Meeting que tuvo lugar en Santiago de Compostela en octubre de 2016.
- Conferenciante invitada a la sesión especial de Lógica y Complejidad Computacional de la conferencia MAT.ES que tuvo lugar en Valencia en febrero de 2005.
- He impartido al menos 67 conferencias en 37 universidades y centros de investigación (de ellos 26 extranjeros). 12/07/20
- Nombramientos y premios. - Habilitada para el cuerpo de Catedráticos de Universidad, área de Lenguajes y Sistemas Informáticos, con fecha 27-3-07 (BOE 9-5-07).
- Desde 2004, ”Associate Professor” (en la modalidad de ”Collaborator”) del departamento de Computer Science de la Universidad de Iowa State.
- 'Runner up' en el premio para el 'best paper' del congreso 'Workshop in Biomedical Image Registration' (WBIR 2022), 2022 (coautores Ubaldo Ramón y Mónica Hernández).
- Premio al 'best student paper' del congreso '17th International Symposium on Mathematical Foundations of Computer Science' (MFCS’92), 1992.
- Premio Extraordinario de Doctorado, de la Universidad Politécnica de Cataluña, 1996.
- Premio Extraordinario de Licenciatura en Matemáticas de la Universidad de Zaragoza, 1992. 11/07/20
- Tribunales de tesis (y 2). - Rodríguez Gómez, Francisco, 'Minería de datos para la sostenibilidad urbana' (directores Llanos Mora López y Josée del Campo Ávila), Universidad de Málaga, junio de 2023
- Martí Renedo Mirambell, 'Cluster evaluation on weighted networks' (director Argimiro Alejandro Arratia Quesada).Presidenta del tribunal, Universitat Politècnica de Catalunya, marzo de 2023
- Alberto Montañola Lactort, 'The pairwise problem with High Performance Computing Systems, contextualized as a key part to solve the Multiple Sequence alignment problem' (directores Concepció Roig Mateu y Porfidio Hernández). Presidenta del tribunal, Universidad de Lleida, febrero de 2016. 10/07/20
- Tribunales de tesis. - María Estíbaliz Fraca Santamaría, 'Fluidization of petri nets to improve the analysis of discrete event
systems' (directores Manual Silva y Jorge E. Júlvez). Universidad de Zaragoza, mayo de 2015.
- José Ignacio Requeno Jarabo, 'Formal methods applied to the analysis of phylogenies: Phylogenetic Model Checking' (director José Manuel Colom). Presidenta del tribunal, Universidad de Zaragoza, junio de 2014.
- André Rognes, 'On the methods of mechanical non-theorems'. University of Oslo, junio de 2013.
- Carmen Pellicer Lostao, 'Criptosistemas Caóticos: Estudio, Diseño y Aplicaciones' (director Ricardo López Ruiz). Universidad de Zaragoza, julio 2012.
- Alexander Krassovitskiy, Çomplexity and Modeling Power of Insertion-Deletion Systems' (directores Yurii Rogozhin y Sergey Verlan). Universidad Rovira i Virgili, septiembre 2011.
- Manuel Baena García, 'Algoritmos, estructuras y heurísticos para minería de cadenas'(director Rafael Morales). Universidad de Málaga, marzo de 2011.
- Gregorio de Miguel Casado, 'Parametric architectures for scientific computing in integrable spaces. The convolution operation as a case of study' (director Juan Manuel García Chamizo). Presidenta del tribunal, Universidad de Alicante, abril de 2010.
- Xiaoyang Gu, 'Fractals in Complexity and Geometry' (director Jack H. Lutz). Iowa State University, noviembre de 2009.
- David S. Doty, 'Applications of the theory of computation to nanoscale self-assembly' (directores: Jack H. Lutz y James I. Lathrop). Iowa State University, septiembre de 2009.
- José del Campo Ávila, 'Nuevos enfoques en aprendizaje incremental' (directores Rafael Morales y Gonzalo Ramos). Universidad de Málaga, julio de 2007.
- Philippe Moser, 'Derandomization and Quantitative Complexity” (director José D.P. Rolim). Universidad de Ginebra (Suiza), junio de 2004.
- Víctor Lavín, 'Learnability of some Classes within the Exact Model” (directora Montserrat Hermo). Universidad del País Vasco, mayo de 2002. 09/07/20
- Aviso: índices de impacto desde 1992. Este currículum ha sido generado automáticamente por la Universidad de Zaragoza e incluye los factores de impacto ISI para las publicaciones desde el año 1992. Deberían aparecer también los índices de impacto de la revista Theory of Computing Systems en 1994 (FI 0,769, entonces se llamaba 'Mathematical Systems Theory') y de la revista Rairo Informatique Théoretique et Applications en 1996 (FI 0,692). 02/07/20
- Artículos en prensa y programas de radio. Entrevista en Aragón radio 31/1/12.
Entrevista en Radio Intereconomía 24/4/12.
Heraldo de Aragón 21/2/12, 1/3/12 y 24/4/12.
Diario Aragonés 8/5/12 '2012 año Turing en Zaragoza'.
El País, blog 5/7/12.
Organizadora del curso verano UIMP 'Homenaje a Alan Turing. 2012 año de la informática', agosto de 2012.
El País 29/11/12 Balcázar, JL, Cuartero, F, Díaz, J, Mayordomo, E, Orejas, F, Peña, R. '¿Qué habría pasado si Turing no hubiera existido?'.
El País 29/11/12, 'El Año de Turing'.
Heraldo de Aragón 18/4/15.
Heraldo de Aragón 18/7/01.
Heraldo de Aragón 8/7/20 'Elvira Mayordomo, investigadora de Universidad de Zaragoza, elegida para dirigir la asociación europea de computación'.
El Periódico de Aragón 9/7/20 'Una aragonesa en la dirección europea de la Computación'.
Diario del alto Aragón 12/7/20.
Entrevista Heraldo de Aragón contraportada 30/7/20.
Entrevista en Ebro FM 10/7/20 (12:35).
Heraldo de Aragón 8/4/21, 'Aragón se asoma al futuro: 10 apuestas de la tierra por la Inteligencia Artificial'.
Heraldo de Aragón 9/5/21 'Predecir la calidad del aire, el precio del lomo o el alzhéimer'. Mencionado en su web por la Confederación Española de Alzheimer (CEAFA) 10/05/21
Heraldo de Aragón 8/6/22 'Científicas 'made in Aragón': estas son las 158 investigadoras del ranking del CSIC'. 01/07/20
- Edición y publicación de libros. Miembro del Consejo Editorial de la serie de libros 'Theory and Applications of Computability', editada por Springer Verlag y CiE. Editora encargada del libro 'Algorithmic Randomness And Complexity' de Rod Downey y Denis Hirschfeldt publicado en 2010.
Miembro del Comité Editorial Científico de la colección de Textos Universitarios en Matemáticas de la RSME desde 2013. 01/01/09
- Dirección de Tesis Doctorales. Colaboración en la dirección de las dos tesis doctorales que se citan a continuación, en la Universidad de Iowa State. Esta codirección no ha sido oficial debido a la normativa de dicha universidad, que obliga a que los directores y codirectores de tesis sean siempre profesores de la misma:
1. Jack J. Dai: 'Some Results in Probability and Theoretical Computer Science” (directores Jack H. Lutz y Krishna B. Athreya). Iowa State University, 2001. Es parte de esta tesis la publicación en Theoretical Computer Science 2004 e ICALP’01.
2. John M. Hitchcock, .Effective Fractal Dimension: Foundations and Applications” (director Jack H. Lutz). Iowa State University, 2003. Son parte de esta tesis las publicaciones en ICALP’03, Journal of Computer and System Sciences 2004, STACS’04 y SIAM Journal on Computing 2005. 01/01/01
- Estancias de investigación de menos de un mes. Visitas y estancias de corta duración a los centros de investigación extranjeros:
Departamento de Theoretische Informatik, Universität Ulm, Ulm, Alemania, en septiembre de 1992, febrero de 1993 y septiembre de 1998.
Departamento de Datalogisk, Ärhus Universitet, Ärhus, Dinamarca, en marzo de 1993.
Departamento de Computer Science, Iowa State University, Ames, EE. UU., en mayo de 1993, agosto de 1994, junio de 1995, junio de 2001, junio de 2004, octubre de 2005, abril de 2007, mayo 2010, abril 2013, mayo 2016 y mayo 2018.
Departamento de Mathematics, University of California at Santa Barbara, Santa Barbara, EE. UU., en junio de 1993.
Mathematisches Institut, Universität Heidelberg, Heidelberg, Alemania, en julio de 1994.
Departamento de Theoretische Informatik, Universität Trier, Trier, Alemania, en febrero y diciembre de 1995 y julio de 1996.
Universidad de Kentucky, Universidad de Maine y Randoplh Macon WC, EE.UU., en marzo de 1997. 01/01/91
- Citas. Además del alto número de citas a mis artículos recogido por ISI Web of Science, mi nombre ha aparecido entre los 10.000 autores más citados de Informática según citeseer desde junio 1993 hasta abril de 2006. Dos de mis artículos de 2005 y 2006 ha aparecido durante tres meses entre los 25 artículos más consultados de las revistas Information & Computation y Journal of Computer and System Sciences, respectivamente. 01/01/91
- Evaluador de revistas y congresos internacionales. - Evaluador habitual de las revistas Theoretical Computer Science, Acta Informatica, SIAM Journal on Computing, Information and Computation, Journal of Computer and System Sciences, Theory of Computing Systems, Information Processing Letters, Mathematical Logic Quarterly, Proceedings of the AMS, Journal of Symbolic Logic, Logical Methods in Computer Science, AMS Mathematical Reviews, Journal of Combinatorial Optimization, Journal of Complexity, IEEE Transactions on Information Theory, Applied Mathematics and Computation y Plos One.
- Evaluador de los congresos internacionales STACS’93, MFCS’94, FCT’95, MFCS’95, STACS’96, CCC’96, FOCS’97, STACS’97, MFCS’97, CCC’97, ICALP’97, STACS’98, CCC’99, STACS’00, ICALP’00, MFCS’00, ISAAC’01, CCC’01, ICALP’01, MFCS’02, FOCS’02, STACS’02, CCC’03, LICS’03, FCT’03, STACS’04, ICALP’04, CCC’05, ICALP’05, FCT’05, STACS’06, CIAC’06, ICALP’06, STACS’07, COCOON’07, MFCS’07, FSTTCS’07, STACS’08, COCOON’09, MFCS’09, ISIT 2010, TAMC 2010, ICALP 2011, STACS 2012, STACS 2013, CCC 2013, CiE 2014, STACS 2017, MFCS 2018, MFCS 2021, STACS 2022, STOC 2022, CiE 2022. 01/01/91
- Otros. - Evaluadora externa para el Marsden Fund Council de Nueva Zelanda en 2023.
- Evaluadora externa para el Consejo de Investigaciones Científicas y Técnicas (CONICET) de Argentina en 2003.
- Evaluadora de proyectos de investigación para el Fondo para la Investigación Científica y Tecnólogica (FONCYT) de Argentina en 2014.
- Co-organizadora del Women in Computability Workshop celebrado anualmente desde 2007.
- Co-organizadora del sistema de Mentores para Women in Computability desde 2008.
- Participación en la mesa redonda 'El poder del algoritmo', dentro de la V Conferencia Internacional de Sociología de las Políticas Públicas y Sociales, universidad de Zaragoza, 20 de mayo de 2021.
- Participación en la mesa redonda 'Mathematical Logic in the Pandemic Era', dentro de la Conferencia ASL North American Meeting, Cornell University, 8 de abril de 2022. 31/01/90
|
Cargando...
