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


Janet Barnes and Angela Wallenburg are both Principal Engineers at Altran, Bath, UK, a software house that specializes in the design and implementation of safety and security critical systems.

Dr Janet Barnes has been involved in the development of high integrity software for critical systems with Altran for over 20 years. During her time with Altran she has specialised in early lifecycle activities, with an emphasis on using formal techniques to produce unambiguous specifications of systems. Highlights of her career include her involvement in the development of Altran's largest Z specification and being a key contributor to the Tokeneer project authoring the specification and functional design in Z. Janet was a recipient the Microsoft Verified Software Award in 2011 recognising the contribution of the Tokeneer Project to the Verified Software Initiative of the use of formal techniques to develop software cost effectively.

Angela Wallenburg has worked on specification technologies and software verification tool building for the last 15 years. She has contributed mostly to behavioural interface specification languages and their associated static verifiers, for the languages Java, C# and Ada (KeY, Spec# and SPARK). Angela joined Altran and the SPARK team in 2009. She is experienced in successfully applying cutting edge research to industrial problems, and also a frequent trainer in and promoter of industrial use of formal methods. Angela has intermittently used ABZ languages throughout her career and recently turned her full attention to improving their usage and tooling at Altran.

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.