His research and teaching in software engineering centres around the modelling of critical systems, with an emphasis on industrial applications and technology transfer. Richard is Director of the McMaster Centre for Software Certification and an expert in model-driven engineering and search-based software engineering. He serves on the Editorial Boards of the Springer journal Software and Systems Modeling, the open-access Journal of Object Technology, and the Springer journal Empirical Software Engineering.
Her interests are in the relationship between mathematics and software engineering and, in particular, in mathematical aspects of software modelling and model-driven development, including foundations of bi-directionality and its potential role in democratising decisions about the behaviour of software. Perdita wrote the textbooks Using UML and How to Write Good Programs, and is on the Editorial Boards of journals including Elsevier's Theoretical Computer Science and Springer's Software and Systems Modeling.
His scientific career focussed on teaching and research in software and systems engineering, with principal research interests in dependable socio-technical systems where he studied how human, social and organisational factors impact the dependability of complex systems. Ian authored the textbooks Software Engineering, whose first edition was published in 1982, and most recently Engineering Software Products, and received the 2011 ACM SIGSOFT Influential Educator Award for his contribution to the education of successive generations of Software Engineers internationally.
His academic interests are in the areas of software verification and validation, software specification and testing, and formal methods tools. Rance currently serves as Director of the Computing and Communication Foundations Division in the U.S. National Science Foundation, and previously was the Executive and Scientific Director of the Fraunhofer USA Center for Experimental Software Engineering. He is a co-founder of Reactive Systems, Inc., a company that makes model-based testing tools for embedded software.
His research is in the fields of formal methods and computer-aided verification, in particular probabilistic model checking, concurrency theory, and semantics of probabilistic programming languages. Joost-Pieter heads the Software Modeling and Verification Group at RWTH, is a Member of the Academia Europaea and was awarded an ERC Advanced Grant in 2018. He co-wrote the textbook Principles of Model Checking and is on the Editorial Boards of the journals PeerJ Computer Science and Springer’s Software Tools for Technology Transfer.