Javier Troya

Background

About Javier Troya

Javier is Associate Professor since February 2021 at the Universidad de Málaga (Spain), working in the Department of Languages and Computer Science and the Institute of Technology and Software Engineering (ITIS). Previously, Javier worked as an Assistant Professor since January 2018 at the Universidad de Sevilla (Spain), within the ISA group, which he joined in January 2016 as a postdoctoral researcher. Before that, in October 2013, he joined the Business Informatics Group, led by Prof. Gerti Kappel at the TU Wien (Vienna, Austria), as a postdoctoral researcher. In 2009 Javier finished his BSc degree on Computer Science at Universidad de Málaga (Spain), and in 2010 he obtained his MSc, supervised by Prof. Antonio Vallecillo, with a Master Thesis providing a solution for giving formal semantics to ATL by means of Maude. During his PhD, he spent five months in 2010 working with Prof. Iman Poernomo's group at King's College London (UK), and four months in 2012 at University of Waterloo (Ontario, Canada) with Prof. Krzysztof Czarnecki's group. In 2013 he obtained his International PhD with honours at Universidad de Málaga, also supervised by Prof. Antonio Vallecillo. His PhD thesis dealt with the model-driven performance and reliability analysis of dynamic systems. His current research interests comprise analysis and testing of software in general and model transformations in particular, optimizations of data queries, digital twins and MDE techniques in general. For more information on his projects and publications, please visit