Keynotes
Ana Cavalcanti
Ana Cavalcanti is a professor at the University of York and a Royal Academy of Engineering Chair in Emerging Technologies. She leads RoboStar, a centre of excellence in Software Engineering for Robotics. The RoboStar approach to model-based software engineering compliments the current practice of design and verification of mobile and autonomous robots, covering simulation, testing and proof. This approach is practical, supported by tools, and yet mathematically rigorous so that it can provide reliable evidence of trustworthiness. Ana held a Royal Society - Wolfson Research Merit Award from 2012 to 2017. In 2003, she was awarded a Royal Society Industry Fellowship to work with QinetiQ on formal methods. She has published more than 200 papers and chaired the Programme Committee of various well-established international conferences. She is currently Chair of the Formal Methods Europe Board. Her main research interest is the theory and practice of formal methods. She has a long-term interest in refinement, safety-critical systems, object-orientation , concurrency, and real-time applications. She has played a major role in the design and formalization of a state-rich process algebra, namely, Circus, and its development techniques using Hoare and He’s Unifying Theories of Programming.
David Parker
Dave Parker is a Professor of Computer Science at the University of Oxford. His research is in formal verification, with a particular focus on the analysis of probabilistic systems, and he leads the development of the widely used probabilistic verification tools PRISM and PRISM-games. His current research interests include the development of verification techniques for applications in AI and machine learning, and the use of game-theoretic methods for formal verification.
Geguang Pu
Geguang Pu is a full professor of software engineering at East China Normal University. His research interests span the areas of software modeling, automated testing, and model checking. A common thread in Geguang's research is improving software reliability and trustworthiness by developing FM-based tools. Geguang joined East China Normal Universityin 2005 as an assistant professor and prior to that, he studied for Ph. D in Peking University. In July 2018, he was appointed as CEO of Shanghai Trusted Industrial Control Platform Co., Ltd for the technique transfer, where he is leading an effective engineering teams to develop the tool chains for software modeling, testing and verification, and these tools are used by more than 100 institutes/companies for structing more reliable software systems.