The University of Southampton
6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018

Invited Talks

Jean-Raymond Abrial, Marseille, France

Jean-Raymond Abrial


Jean-Raymond Abrial is the co-inventor of various formal method approaches: Z, B and Event-B. He is the author of the "B-book" (CUP 1996), which presents the B-Method and "Modeling in Event-B: System and Software Engineering" (CUP 2010). He was a guest Professor at ETH Zurich from 2004 to 2009 where he led the team developing the Rodin Platform tool for Event-B (funded by the European RODIN and DEPLOY Projects). He is frequently invited to China giving formal method courses in various Chinese Universities (Peking University in Beijing, East China Normal University in Shanghai). Before being in Zurich, he was a consultant for more than 20 years working in close contact with industrial companies but also with various universities around the world.

Janet Barnes and Angela Wallenburg, Altran, UK

Janet Barnes and Angela Wallenburg

Daniel Jackson, Massachusetts Institute of Technology

Daniel Jackson


Daniel Jackson is Professor of Computer Science at MIT, a MacVicar teaching fellow, and Associate Director of the Computer Science and Artificial Intelligence Laboratory, MIT’s largest laboratory. He is the lead designer of the Alloy modeling language and author of Software Abstractions: Logic, Language, and Analysis (MIT Press, 2nd ed., 2012). He was chair of the National Academies study Software for Dependable Systems: Sufficient Evidence? (2007). His research currently focuses on a new approach to software design, on new programming paradigms, and on cybersecurity.

Klaus-Dieter Schewe, Software Competence Centre Hagenberg, Austria

Klaus-Dieter Schewe


Klaus-Dieter Schewe has worked in group representation theory, software engineering, knowledge representation, database theory and rigorous methods, bringing these diverse fields together. His particular interest is on mathematical and logical foundations, semantics and expressiveness. He investigated methods for consistency enforcement, contributed to many results in dependency theory for complex-value databases (together with Sali, Link and Hartmann), developed a thorough methodology for the design and development of web information systems (together with Thalheim), created a client-centric middleware for cloud computing (together with Bosa and others), and developed a theory of knowledge patterns for entity resolution (together with Qing Wang). He recently developed behavioural theories for unbounded parallel and reflective algorithms (together with Ferrarotti, Wang and Tec) and for concurrent systems (together with Börger), with which he contributed to the foundations of rigorous methods. He graduated in Pure Mathematics at University of Bonn, received a Ph.D. from University of Bonn in Mathematics, and later received his D.Sc. from Brandenburg Technical University in Theoretical Computer Science. He was Chair of Information Systems at Massey University and Director of the Information Science Research Centre in New Zealand, and Scientific Director of the Software Competence Center Hagenberg in Austria.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.