About me

I am an Associate Professor at the Department of Computer Science, University of Málaga. During 2018-2021, I was a Lecturer in the Department of Computer Science, University of York. Prior to that, I was part of the core faculty (Senior Systems Scientist) at the Institute for Software Research, 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, the Centre for Informatics and Systems of the University of Coimbra, and Carnegie Mellon University.

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 architectures, 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.