Eva Navarro López has developed her career in prestigious institutions across both industry and academia in four different countries: the United States, the United Kingdom, Mexico and Spain. She has been a Full Professor of Computing and Artificial Intelligence and Director of the School of Information at the Rochester Institute of Technology (RIT) in Rochester, New York. Previously, she was the Director/Founder of the AiDAs Lab (“Artificial Intelligence and Data Science Lab”) at the University of Wolverhampton in the United Kingdom, and Lecturer/Assistant Professor in the School of Computer Science at the University of Manchester, where she worked with Alan Turing’s last student. She is currently part of the International Panel on the Information Environment and is a Research Affiliate of the Civic A.I. research group at Northeastern University in Boston, United States. She is also a member of the Advisory Board of the Gender Music Tech project led by DigitalFems, which aims to reduce systemic biases and promote fairness in digital music platforms.

Eva is a passionate scientist and an inspiring educator. Her work, training and professional trajectory are genuinely multidisciplinary and defy any conventional classification. She has consistently broken rules and barriers between scientific disciplines. Her multidisciplinary background spans computer science, mathematics and control engineering. Her research is internationally recognised in the fields of to the fields of artificial intelligence, cyber-physical systems, digital twins, mathematical modelling, formal verification, automated reasoning, data and network science, brain dynamical modelling and neuro-inspired computing, all underpinned by a strong foundation in the humanities, social sciences and sustainability. With over 130 scientific publications and experience in more than 37 collaborative projects, she has a unique ability to combine multiple disciplines and transfer methods from one application domain to another. Known as a “scientist artist,” she integrates philosophy, art, and music into her research.

Professor Navarro contributes to global initiatives that promote the democratisation of artificial intelligence as well as equity, diversity and inclusion in science, technology, engineering and mathematics through her work with AI Mexico, Technolatinas, the Swedish Artificial Intelligence Society, the Minderoo Centre for Technology and Democracy at the University of Cambridge, the Centre for Exponential Change, and UNESCO’s Inclusive Policy Lab, among many other international organisations. She served as an advisor to the prestigious Jülich Forschungszentrum in Germany for the creation of two new institutes of neuromorphic computing. She is one of the 7 founders of ACM-Women Europe, the Association for Computing Machinery’s (ACM) Council on Women in Computing in Europe, and of the ACM womENcourage conference series in Europe.  Her contributions have been recognised in Spain’s Guide to Leading Women of the Business Ecosystem, in the global “100 Brilliant Women in AI Ethics 2025” list, and through her designation as a Distinguished Alumni Ambassador of the University of Alicante (Spain).

Eva’s work has been featured in international media, and she has delivered more than 120 keynote talks and invited lectures worldwide. Professor Navarro participated in L’énigmatique Alan Turing, the most extensive and detailed documentary ever produced about Alan Turing, created by Radio France. She is mentioned in the book A Biography of the PIXEL by Alvy Ray Smith (co-founder of Pixar) and in Alan Turing’s Manchester. She also contributed to the exhibition Alan Turing and Life’s Enigma at the Manchester Museum, which focused on Turing’s work on morphogenesis and became the leading global exhibition on the topic.

Eva is currently co-founding LaNuestra, leading AI development, network model design, and core algorithm development for a pioneering global digital platform connecting survivors and safeguarding millions of testimonies of gender-based violence.

More information about Eva Navarro's eclectic work can be found at Eva Navarro's webpage.

Scientists and artists are alike in that both attempt to understand the world better. At best, both scientists and artists manage to make the world a better place. Diversity and happiness lies within. These are my goals. At root there is an ethical dimension to my strong commitment to people and social awareness in science and education.

The core of my research is complex dynamical systems, computational science and industrial automation. However, I have always challenged the existing orthodoxy in these areas and have combined five classically-separated disciplines: computer science, artificial intelligence (AI), control engineering, mathematical systems analysis and network science –with strong links to industry.

I am a leading researcher in various aspects of hybrid dynamical systems, cyber-physical systems, control systems, automated formal verification, stability theory, complex networks and symbolic AI, as well as self-organising systems, with applications in brain networks, evolution in ecology, gene regulatory networks, software dependency networks, social networks, collective behaviour in animals, cells and people, electromechanical systems, robotics, power electronics, smart grids, systems biology, smart cities, drilling mechanisms, oil and gas networks, and distribution and transportation networks. Uniquely, I have made key contributions to the theory of dissipative nonlinear discrete-time systems and hybrid automata, and to the automated verification and control of diverse discontinuous/switched, hybrid and cyber-physical systems. I was the principal investigator in the first funded project in the UK (DYVERSE) dedicated explicitly to the control and formal verification of nonlinear hybrid dynamical systems with multiple equilibria and non-standard and non-simplistic dynamics. Very few researchers deal with this type of theory and systems.

My contributions to the oil and energy industry sector in Mexico are highly regarded. I coordinated and participated in projects on exploration and production, drilling, optimisation of distribution/transportation networks, smart grids and fault diagnosis. I also worked in projects on computer security systems, expert and agent-based systems for decision making (process plants), and logistics problems.

My work on hybrid dynamical systems, automated verification and symbolic AI is unified within the novel computational dynamical framework of DYVERSE. This is an acronym for the DYnamically-driven VERfication of Systems with Energy considerations. The ‘energy’ referred to here is the exchange of energy of systems with their environment, which may be an abstract or physical entity. The formalisation of the abstract energy of dynamical systems is carried out through the dissipative systems theory, an area of control theory in which I have been acknowledged as one of the world leaders, and my publications are citation classic papers. Within DYVERSE, I have developed the automated verification, modelling –mainly, model checking techniques and nonlinear hybrid automata models–, discrete abstraction, bisimulation, and stability analysis of nonlinear complex hybrid systems. We are proud to say that we are one of the very few groups who have successfully dealt with the verification of liveness properties, which are properties that are eventually true, in contrast to safety properties that are always true. For this, we have proposed dynamically-aware verification algorithms, deadness properties, a new class of hybrid automata including computation nodes, and a novel lazy-Satisfiability Modulo Theory-based bounded-model-checker for safety falsification.

Building on DYVERSE and based on the adaptive processes of the human brain –that is, neuroplasticity–, we are currently working on Neuro-DYVERSE: an attempt to transform computational neuroscience by introducing the field ‘hybrid systems neuroscience’. This requires the reformulation of hybrid system models, analysis dynamical tools and control schemes for neuronal systems. We have shown how the modelling and analysis framework of our tool DyverseRBT (Rigid-Body Toolbox), based on the non-classical MRB (Multi-Rigid Body) hybrid automaton specification, is applicable to the case of neuronal networks. This work, enhanced by a sabbatical year at Instituto Cajal, has the potential to revolutionise the modelling, analysis and simulation of complex adaptive systems.

Other recent applications of my work include:

• Network science and machine learning for collective intelligence in evolving social systems. We have refined complex network theory and machine learning techniques to detect and classify ‘communities’ in software dependency networks. We have also used network science theory and statistical methods to identify key properties in social networks, and in temporal linguistic networks –specifically, the evolution of the English language in the past 1,000 years. 

• Machine learning and data science for health. This is part of my work on bio-health informatics, specifically on gene regulatory networks and medical imaging analysis.

• Dynamical systems theory, network and data science for social computing.

• Safety- and security-critical infrastructures. Mainly, smart grids including renewable energy sources. I have a long-standing experience in modelling and analysing energy distribution systems –since my work in the energy sector in Mexico.

More details of my eclectic research is at https://www.evanavarro.org/research.

• Advanced Processor Technology
• Formal Methods

Would you like to discover, learn and create through cutting-edge research topics?

Visit the following webpage to discover all the wide range of opportunities that you have to work with me.

Would you like to learn in my classes?

I am a Fellow of The Higher Education Academy of the UK.

My teaching activities are driven by my passion for research and enthusiasm for learning. I stimulate the imagination of my students with challenging projects and ideas, and employ an innovative and creative approach to my lectures and course assignments. My students are encouraged to think for themselves, to be critical and creative.

Details on my teaching activities and philosophy can be found at the following link.

Additional information about my research can be found at the following link to my webpage.

Eva is a passionate communicator of science and technology, and has been invited to give more than 120 keynote and plenary presentations in international conferences, panel discussions, invited talks, research seminars and international conference presentations in well-reputed universities and research centres across the UK, Europe and the Americas.

She has also contributed to numerous public engagement and outreach activities and has an extensive presence in press and media. 

Click here to check her complete list of publications.

Details of Eva Navarro López's research and professional activities are at the following link: www.evanavarro.org