Andrey Rybalchenko
Max Planck Institute for Software Systems

Andrey Rybalchenko leads Verification Systems research group at the Max Planck Institute for Software Systems in Saarbrücken. He holds Dipl.-Inf. (2002) and Dr.-Ing. (summa cum laude, 2005) degrees from the University of Saarland. Andrey's research interests focus on automated methods and tools for formal software verification, ranging from the design of program analysis methods to the development of algorithms for symbolic computation and automated deduction. Andrey's doctoral research revolutionized verification of liveness properties for software systems by introducing 'transition invariants'. Jointly with Microsoft Research, Andrey developed the Terminator tool, which is the first tool to perform automatic verification of liveness properties for software. He is also developing the ARMC tool for automatically proving safety properties of complex infinite state systems, which has been successfully applied for the verification of safety critical parts of the European Train Control System. Andrey is a recipient of Guenther Hotz medal (2002) from the University of Saarland and Otto Hahn medal (2005) from the Max Planck Society.

Mark Rouncefield
University of Lancaster
Computing Department

Mark Rouncefield is a Senior Research Fellow in the Department of Computing, Lancaster University. His research interests lie in a wide range of features of ‘Computer Supported Cooperative Work’ involving various aspects of the empirical study of work, organisation, human factors and interactive computer systems design. This work is strongly inter-disciplinary in nature and has led to extensive and continuing collaborations with colleagues in Sociology, Computing, Informatics and Management departments both in the UK and abroad. His empirical studies of work and technology have contributed to critical debates concerning the relationship between social and technical aspects of IT systems design and use. Recent work, in the ‘DIRC’, ‘Equator’, ‘Chameleon’, ‘Caside’ and ‘Ideal’ research projects has particularly focused on socio-technical aspects of the design, deployment and use of technologies in domestic, community and healthcare settings. He is particularly associated with the development of ethnography as a method for informing design and evaluation, outlined in a recent book (with Richard Harper and Dave Randall), ‘Fieldwork for Design’.