About me

I am an Associate Professor (holding a Full Professor Accreditation from ANECA since May 2024) at the Department of Computer Science, and a researcher at the Institute for Software Technology and Software Engineering (ITIS), University of Málaga. I am also an Honorary Visiting Fellow in the Department of Computer Science, University of York, where I was a Lecturer during 2018-2021. Prior to that, I was a Senior Systems Scientist at the Institute for Software Research (Now Software and Societal Systems – S3D), Carnegie Mellon University. I received my Ph.D. in Computer Science from the University of Málaga (2009), and worked as a postdoctoral researcher at INRIA Rhône-Alpes and the Centre for Informatics and Systems of the University of Coimbra.

I work at the intersection of software engineering, formal methods, and artificial intelligence. Among others, my research interests include: software engineering for autonomous and self-adaptive systems, software architecture, applied formal methods, and cyber-physical systems.

I am also an affiliated researcher in the Architecture-Based Languages and Environments (ABLE) research group at Carnegie Mellon University, and the Trustworthy Adaptive and Autonomous Systems & Processes team at the University of York.