Richard Paige

(photo by Eelco Visser; click on the photo for a more realistic representation)

Richard Paige
Professor of Enterprise Systems,
Department of Computer Science,
University of York,
Deramore Lane, 
York, YO10 5GH
United Kingdom
email: first name dot last name at york dot ac dot uk

I continue to hold a part-time position as Professor of Enterprise Systems in the Department of Computer Science at the University of York. I will work part-time (and mostly remotely) at York from January 2019.

The rest of this website is not really being maintained much, but the information is mostly accurate!

I joined the department in July 2001. From June 1997 - June 2001, I was at York University, Toronto, Canada. I received my PhD in Computer Science from the University of Toronto in 1997 under the supervision of Eric C.R. Hehner.

I research and teach software engineering, with an emphasis on industrial applications and technology transfer. My current interests are in modelling (e.g., model-based development, model transformation), agile development, software architecture, integrated methods, formal methods, safety- and security-critical systems, cloud computing, and search-based software engineering. As part of this, I am involved in a number of conferences (see here). I am a member of the steering committee of the International Conference on Model Transformation (ICMT), Software Technologies federated symposium (I am currently chair of the steering committee), and of the MoDELS Conference series. I was program chair for TOOLS Europe 2008, June/July 2008, in Zurich, ICMT 2009 (also in Zurich), program co-chair for ECMDA-FA 2009 in Enschede, and program co-chair for ICECCS 2010 in Oxford. I was program co-chair for Software Language Engineering 2013 in Indianapolis, and was general chair for SLE 2015 in Pittsburgh, Pennsylvania. I will be Foundations track program chair for MoDELS 2018 in Copenhagen, Denmark.

I am on the editorial board for the Springer journal Software and Systems Modeling, the open-access Journal of Object Technology, and the Springer journal Empirical Software Engineering. I was for three years on the editorial board of the Elsevier journal Journal of Systems Architecture, where I focused on Model-Driven Engineering.

I am currently an investigator on the Innovate UK-funded project SECT-AIR, where we are developing approaches to automatically generating assurance cases and qualification data using model transformation. I am also an investigator on the H2020 project CROSSMINER (starting January 2017), where we are investigating off-line and on-line analytics in the IDE. As well, I am investigator on a DSTL-funded project on technical obsolescence, where we are developing model-based approaches to migrating applications across software and hardware platforms while making it easier to carry out re-certification. I am about to start a project with Smith & Nephew on model-based approaches to building safety critical software in the bio-industry, a project with IBM UK on model-based approaches combined with machine learning to build more effective models for planning, and the H2020 project TYPHON (starting sometime soon, probably January 2018) on hybrid polystores. For my sins I am also involved in the Papyrus Industry-Academic Consortium.

Previously, I was principal investigator on the EC FP7 project OSSMETER, where we developed measures and metrics to assess the impact and quality of OSS projects. I was principal investigator on the SESAR JU project COMPASS, exploring MDE techniques applied to air traffic management. I was also involved as co-investigator on the EPSRC-funded project LSCITS, the FP7 funded project MONDO, and a EURAMET-funded project with the National Physical Laboratory on software modelling for measurement. I was an investigator on the EC FP7 project MADES, where we developed languages and tools for Model-Driven Embedded Systems development. I was an investigator on the MoD-funded SSEI, where I led research on model-driven systems integration. I was also recently an investigator on the FP7 project INESS, where we used model transformation to enable analysis of large-scale (safety) requirements models. I was a co-investigator on a recent EPSRC project exploring domain-specific languages for measurement, for the National Physical Laboratory. I was a partner in the European Integrated Project MODELPLEX, which ran from September 2006 through February 2010. In MODELPLEX, we extended our work on the Epsilon project, which is one of the leading platforms for model management. I was principal investigator on the EPSRC project Refinement Patterns for Contractual Statecharts, which ran from July 2007 until September 2010. I was the principal investigator on the e-Science EPSRC-funded project eXGrid: Agile Development of High-Integrity Grid Middleware, which ran from 2004-2007. I was a Strand Leader ("Model-Based Systems Engineering") in the High-Integrity Real-Time Systems DARP, which was funded by the EPSRC, DTI, and the MOD, in partnership with BAE Systems, Rolls-Royce, and QinetiQ from 2002-2006. I was also a partner in the EU Integrated Project MODELWARE, which ran from 2004-2006. As well, I also did some work with QinetiQ in 2005 on a project to compare the benefits of proof versus testing under the auspices of DO-178B.