Professor Dimitris Kolovos

Department of Computer Science
University of York, YO10 5GH, York, UK
+44 1904 325167
dimitris.kolovos@york.ac.uk
www-users.cs.york.ac.uk/~dkolovos

Professional Experience

2017-present Professor of Software Engineering, Department of Computer Science, University of York
2015-2017 Senior Lecturer, Department of Computer Science, University of York
2010-2015 Lecturer, Department of Computer Science, University of York
2004-2010 Research Associate, Department of Computer Science, University of York
2001-2003 Software Engineer, Freelancer

Education

2005-2008 PhD in Software Engineering, Department of Computer Science, University of York
2003-2004 MSc with Distinction in Software Engineering, Department of Computer Science, University of York
1998-2003 BSc in Informatics, Department of Informatics, Athens University of Economics and Business

Research Grants

2018-2021 Innovate UK KTP (Rolls-Royce): Knowledge Transfer Partnership with Rolls-Royce on domain-specific modelling and model-based engineering of aerospace systems (Principal Investigator)
2018-2020 TYPHON: EC H2020 project on polyglot and hybrid persistence architectures for Big Data analytics (Principal Investigator)
2017-2019 CROSSMINER: EC H2020 project on knowledge extraction from open-source software (Principal Investigator)
2017-2019 Innovate UK KTP (Smith & Nephew): Knowledge Transfer Partnership with Smith & Nephew on applications of MDE technologies in the medical device domain (Principal Investigator)
2017-2020 Innovate UK KTP (IBM): Knowledge Transfer Partnership with Smith & Nephew on applications of MDE technologies in the data management domain (Co-investigator)
2017-2018 ESRC National Productivity Investment Fund: Collaborative project (with Keyfort) on delivery of mental health support services through mobile apps. (Principal Investigator)
2016-2019 SECT-AIR: Project co-funded by InnovateUK and the UK aerospace industry (Co-investigator)
2016-2017 Technical Obsolescence Management Strategies for Safety-related Software for Airborne Systems: Funded by the Defence Science and Technology Laboratory (Co-investigator)
2013-2016 MONDO: EC FP7 STREP project on scalable model-driven engineering (Principal Investigator)
2016-2016 Innovate UK KTP (JC Chapman): Knowledge Transfer Partnership with JC Chapman on applications of MDE technologies in the financial domain (Principal Investigator)
2012-2015 OSSMETER: EC FP7 STREP project on automated analysis and measurement of open-source software (Co-investigator)
2012-2014 COMPASS: Eurocontrol/SESAR-JU project on safety management in complex air traffic management systems (Co-investigator)

Publications

I have co-authored more than 150 publications in the fields of model-based and automated software engineering. Below is a selection of recent publications.
Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D.S. & Paige, R.F. Type inference in flexible model-driven engineering using classification algorithms Software and Systems Modeling, pages 1-22, 2018.
Zolotas, A., Rodriguez, H.H., Kolovos, D.S., Paige, R.F. & Hutchesson, S. Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and EpsilonIn 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22 (Best paper award), pages 237-247, 2017.
Zolotas, A., Clarisó, R., Matragkas, N., Kolovos, D.S. & Paige, R.F. Constraint programming for type inference in flexible model-driven engineering Computer Languages, Systems and Structures, 49:216-230, 2017.
Ajit, S., Holmes, C., Johnson, J., Kolovos, D.S. & Paige, R.F. Model-based tool support for Tactical Data Links: an experience report from the defence domain Software and System Modeling, 16(2):559-586, 2017.
Kolovos, D.S., García-Domínguez, A., Rose, L.M. & Paige, R.F. Eugenia: towards disciplined and automated development of GMF-based graphical model editors Software and System Modeling, 16(1):229-255, 2017.
García-Domínguez, A., Barmpis, K., Kolovos, D.S., Silva, M.A.A.d., Abherve, A. & Bagnato, A. Integration of a graph-based model indexer in commercial modelling toolsIn Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pages 340-350, 2016.

Editorial Duties

I am a member of the program committees of the ACM/IEEE International Conference on Software Engineering, the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, the International Conference on Model Transformation, the International Conference of Software Language Engineering and the European Conference on Modelling Foundations and Applications. I am also an associate editor of the IET Software journal.

Examiner Duties

I have examined 12 doctoral theses (9 as external examiner and 3 as internal examiner).
2017 Jesus Juan Lopez, Autonomous University of Madrid, Spain
2017 Adolfo Sanchez-Barbudo Herrera, University of York, UK
2017 Mirco Franzago, University of L’Aquila, Italy
2016 Zoltan Ujhelyi, Budapest University of Economics and Technology, Hungary
2016 Xabier De Carlos, University of Mondragon, Spain
2016 Abdulaziz Al Humam, University of York, UK
2016 Fatima Alkandari, University of York, UK
2016 Loli Burgueno, University of Valencia, Spain
2015 Qinan Lai, University of Manchester, UK
2014 Zhibao Mian, University of Hull, UK
2013 Antonio Garcia Dominguez, University of Cadiz, Spain
2010 Maider Azanza, University of the Basque Country, Spain