作者: Jon Timmis

Ana Cavalcanti is Professor of Software Verification at the University of York and Royal Academy of Engineering Chair in Emerging Technologies, and is working on software engineering issues for robotics like modelling, validation, simulation, and testing. She currently leads the Robo Star research group at the University of York. Her research is on theory and practice of verification and testing for robotics. Brijesh Dongol is a Senior Lecturer at the University of Surrey. His research is on formal techniques and verification methods for concurrent and real-time systems. This includes concurrent objects, transactional memory and associated correctness conditions; weak memory models; algebraic techniques; and hybrid systems. He leads several projects funded by the EPSRC, research institutions and industrial partners and is a member of the Formal Methods Teaching Committee. Rob Hierons joined The University of Sheffield in 2018 as a full Professor. His research concerns the automated generation of efficient, systematic test suites on the basis of program code, models or specifications. He is joint Editor-in-Chief of the Journal of Software Testing, Verification, and Reliability (STVR) and is a member of the editorial boards of The Computer Journal and Formal Aspects of Computing. Jon Timmis is Professor of Intelligent and Adaptive Systems at the University of Sunderland, where he is Deputy Vice-Chancellor, and is Visiting Professor at the University of York.  His research focuses on biologically-inspired systems and modelling, with applications in robotic and swarm robotic systems as well as computational biology.  He has commercialized his research into modelling and simulation in the biosciences. He is a former Royal Society-Wolfs on Research Merit Award holder and a Royal Academy of Engineering Enterprise Fellow. Jim Woodcock is Professor of Software Engineering at the University of York, known for his research, teaching, and consultancy in the application of industrial-scale software engineering and formal methods. He is a Chartered Engineer, a fellow of the UK Royal Academy of Engineering, and a member of the London Mathematical Society. His current research is in modelling and reasoning about uncertainty in robotic applications.