FULL VITAE
My updated full vitae is available on request. You can also check my LinkedIn profile.
SHORT BIO
WORK EXPERIENCE
September 2018 onwards: Lecturer
Department of Computer Science. University of York (UK)
July 2018 - August 2018: Senior Systems Scientist
July 2015 - June 2018: Systems Scientist
April 2013 - July 2015: Postdoctoral Associate
Institute for Software Research. Carnegie Mellon University (USA)
Research at the Architecture Based Language and Environments (ABLE) group.
Co-instructor of the Models of Software Systems course (17-651) at the Master of Software Engineering (MSE) - Fall 2013 - Fall 2017.
January 2011 - April 2013: Postdoctoral Research Associate
Department of Informatics Engineering. University of Coimbra (Portugal)
Working in Carnegie Mellon|Portugal Project ADAAS on Assuring Dependability in Architecture-based Adaptive Systems
January 2010 - December 2010: Postdoctoral Research Associate
POP ART Project-team. INRIA-National Institute for Research in Computer Science and Control (France)
Working in ANR Project VEDECY on Verification and Design of Cyber-Physical Systems
April 2006 - January 2010: Research Fellow
Department of Computer Science. University of Málaga (Spain)
May 2004 - March 2006: Software Engineer.
CITIC – Andalusian Center for Innovation, IT & Communications. Málaga (Spain)
EDUCATION
2009 - Ph.D. Computer Science. University of Málaga (Spain)
2003 - M.Sc. Computer Science. University of Granada (Spain)
2001 - B.Sc. Computer Science. University of Granada (Spain)
STAYS AT ACADEMIC INSTITUTIONS
March 2012-May 2012: Visiting Scholar
Institute for Software Research. Carnegie Mellon University (USA)
July 2008- September 2008: Visiting Scholar
Department of Computing. Imperial College London (UK)
October 2007- January 2008: Visiting Scholar.
Department of Informatics. University of California, Irvine (USA)
2002-2003: B.Sc. Honours Computer Studies Program ( Socrates-Erasmus program )
School of Engineering and Computing. Glasgow Caledonian University (UK)