Savas Konur is a Reader in the Department of Computer Science, University of Bradford, where he was previously Lecturer and Senior Lecturer. He received the B.Sc., M.Sc. and Ph.D. degrees in Computer Science from METU (Turkey), RWTH Aachen (Germany) and University of Manchester (UK), respectively. He previously held positions in the Verification and Testing Group (Department of Computer Science) at University of Sheffield and the Logic and Computation Group (Department of Computer Science) at University of Liverpool. His research interests involve Formal Methods (mainly modeling, verification and analysis of complex, concurrent and stochastic systems) and design/development of software systems/tools/methods facilitating Formal Methods in various application areas, including Systems and Synthetic Biology, Ubiquitous Systems, Real-time Systems, Safety-critical Systems, Autonomous Systems and Multi-agent & Systems. Dr Konur is an experienced researcher and involved in several research projects, requiring a wide range of interdisciplinary collaborations both across other research institutes within the university and with external partners. He has published his results in numerous leading journals and conferences. In addition, he was involved in the development of various software and programmes, and worked on different phases of software development life cycle, including requirement engineering and testing.