Thursday, 20th May 2021, 16:00-17:00: Richard Paige, Professor of Software Engineering, McMaster University, Canada
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.
Thursday, 27th May 2021, 16:00-17:00: Perdita Stevens, Professor of Mathematics of Software Engineering, University of Edinburgh, U.K.
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.
Thursday, 17th June 2021, 16:00-17:00: Ian Sommerville, Emeritus Professor of Computer Science, University of St Andrews , U.K.
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.
Thursday, 1st July 2021, 16:00-17:00: Rance Cleaveland, Professor of Computer Science, University of Maryland, USA
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.
Tuesday, 6th July 2021, 16:00-17:00: Joost-Pieter Katoen, Professor of Computer Science, RWTH Aachen University
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.