Skip to content

Paul Krause

  • Professor
  • Professor of Software Engineering
  • University of Surrey
  • 19h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 1608CitationsNumber of citations received by Paul's publications. Updated daily.


My initial interests were Mathematics and Physics, with a research career that started in Physics. I moved back to explore Maths as applied to Computing by joining a formal methods research group in 1987. Interest in the formal side of computing still remains, but only in terms of its analytic use for general architectural principles. I have to say I remain a sceptic about the routine use of formal methods in large-scale software development. Much of my time at Philips took me into some of the "softer" issues of software engineering, with exploration of many of the people issues of software process improvement. I don't really do this now as it is hard work and intensely frustrating. But I am interested in some of the social aspects of the usage of informatics systems and this is one of the reasons for my involvement with the ERIE project.

Recent publications

  • Business Process Modelling is an Essential Part of a Requirements Analysis. Contribution of EFMI Primary Care Working Group

    • de Lusignan S
    • Krause P
    • Michalakidis G
    • et al.
  • Beyond interoperability to digital ecosystems: regional innovation and socio-economic development led by SMEs

    • Dini P
    • Lombardo G
    • Mansell R
    • et al.
    Get full text

Professional experience

Professor of Software Engineering

University of Surrey

January 2001 - Present

Senior Principle Scientist

Philips Research Labs

September 1996 - December 2002(6 years)

Research Fellow

Imperial Cancer Research Fund

October 1989 - September 1996(7 years)

Research Fellow

University of Surrey

October 1987 - September 1989(2 years)

Low Temperature Metrologist

National Physical Laboratory, UK

October 1980 - September 1987(7 years)


PhD (Geophysics)

University of Exeter

October 1977 - September 1980(3 years)

BSc (Class I) Maths and Physics

University of Exeter

October 1974 - June 1977(3 years)


Co-authors (136)

Other IDs