Rich Paige

(Click on Bill for a real photo.)

Richard Paige
Professor of Enterprise Systems,
Department of Computer Science,
University of York,
Heslington, 
York, YO10 5DD
United Kingdom
email: my last name at cs dot york dot ac dot uk

I research and teach software engineering. My current interests are in Model-Driven Engineering, agile development, software architecture, integrated methods, formal methods, and compilers. As part of this, I am involved in a number of conferences (see here). I am a member of the steering committee of ECMDA-FA, the leading European conference on Model-Driven Engineering. I was program chair for TOOLS Europe 2008, June/July 2008, in Zurich, and was also program chair for the International Conference on Model Transformation (ICMT) 2009 and program co-chair for ECMDA-FA 2009 in Enschede. I am on the editorial board of the Elsevier journal Journal of Systems Architecture, where I focus on Model-Driven Engineering.

I am a partner in the European Integrated Project MODELPLEX, which started September 2006 and runs through August 2009. In MODELPLEX, we have been extending our work on the Epsilon project, which is one of the leading platforms for model management. I am principal investigator on the EPSRC project Refinement Patterns for Contractual Statecharts, which started in July 2007 and runs until June 2010. I am an investigator on the MoD-funded SSEI, where I lead research on model-driven systems integration. I am co-investigator on the FP7 project INESS, where we are using model transformation to enable analysis of large-scale requirements models. I am co-investigator on an EPSRC project exploring domain-specific languages for measurement, for the National Physics Laboratory. I am also involved in the EPSRC-funded project LSCITS and supervise research on agile safety critical development and safety analysis.

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.