Richard Paige


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'm Professor of Enterprise Systems in the Department of Computer Science at the University of York. I joined the department in July 2001. From June 1997 - June 2001, I was at York University, Toronto, Canada where I am still an adjunct professor. 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. My current interests are in Model-Driven Engineering, agile development, software architecture, integrated methods, formal methods, 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) and the newly formed Software Technologies federated symposium (I am currently chair of the steering committee). 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 am program co-chair for Software Language Engineering 2013 in Indianapolis.

I am on the editorial board for the Springer journal Software and Systems Modeling and the open-access Journal of Object Technology. 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 principal investigator on the EC FP7 project OSSMETER, where we are developing measures and metrics to assess the impact and quality of OSS projects. I am principal investigator on the SESAR JU project COMPASS, exploring MDE techniques applied to air traffic management. I am also involved in the EPSRC-funded project LSCITS and supervise research on agile safety critical development and safety analysis.

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; some of the DARP work is continuing (particularly on FPTC/failure analysis) and I am involved in supervising this. 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.


About Me Research & Publications Teaching Fun Stuff

Contact Details & Current Schedule Prospective PhD Applicants Colleagues and Enemies