Keynote speakers
Here it is the list of keynote speakers (in alphabetic order by name).
Michael Butler @ University of Southampton
|
TBA
|
Abstract
TBA
|
Short Bio
Michael Butler is the Dean of Engineering and Physical Science at the University of Southampton.
Michael as made many key theoretical and methodological contributions to the refinement calculus and to the B and Event-B formal methods.
He has worked on tools such as ProB, U2B, csp2B and the Rodin toolset for Event-B.
|
|
Nils Jansen @ Ruhr-University Bochum
|
TBA
|
Abstract
TBA
|
Short Bio
Nils Jansen is Professor of Artificial Intelligence and Formal Methods at the Ruhr-University Bochum. He is also an Associate Professor with the Institute for Computing and Information Sciences at Radboud University Nijmegen, The Netherlands.
Nils' mission is to increase the trustworthiness of Artificial Intelligence, bringing together the areas of machine learning and formal methods, in particular, formal verification. He tackles problems that are inspired by autonomous systems and planning problems in robotics. Nils Jansen has been awarded an ERC Starting Grant named DEUCE: Data-Driven Verification and Learning under Uncertainty.
|
|