4 Biography

Juan Bicarregui has worked on tool support for formal methods, in particular the Mural proof assistant, and on their theoretical foundations.

Jose Luiz Fiadeiro works in the area of formalisation of specification and program design paradigms using modal logics (temporal and dynamic) and of their underlying modularisation principles using category theory.

Kevin Lano is a Research Fellow at the Department of Computing at Imperial College. He has previously worked in industry in the areas of formal methods and software assessment. His current research is focussed on the use of formal techniques to provide semantics for object-oriented and reactive systems.

Tom Maibaum is Professor of Foundations of Software Engineering at the Department of Computing at Imperial College. He has worked on the development of compositional techniques for specification and design of software systems since 1974 and has published papers and books in the area.