Dr Gordon Baxter, University of St Andrews

Gordon Baxter has degrees in Computer Science (BSc(Eng)), Cognitive Science (MPhil), and Human Factors (PhD). He has several years experience in systems development, mostly on industrial and defence applications, having worked for Rolls Royce, Racal, Systems Designers, NEI and ICI. Most of this work involved aspects related to user interface design and human-computer interaction. Since joining academia he has worked on projects looking at rapid decision making in complex environments (for the DRA), dependability of computer based systems (for the NHS in Leeds, and several social services departments across the UK), and large scale complex IT systems. He is a Chartered Engineer, a Member of the , and an Associate Member of the Ergonomics Society.

Dr Radu Calinescu, University of

Radu Calinescu is a senior research officer at Oxford University Computing Laboratory. He obtained his DPhil in Computation from the in 1998, with a that received a Distinguished Dissertation Award from the British Computer Society and was published as a Springer book. From 1999 to 2005, he worked in industry as the technical architect and senior development manager of an Oxford University spin-out software company specialising in the development of policy-driven data-centre management solutions. His research interests include autonomic computing, policy-based management of complex systems, modelling and model checking, automated and model-driven software engineering, and high performance computing. He is a senior member of the IEEE, and has chaired or served on the technical program committees of several international conferences on autonomic computing and formal methods.

Mr Tom Cassey, University of Bristol

Tom Cassey is a PhD student at the University of Bristol. Tom recently graduated from Bristol with a masters degree in Computer Systems Engineering. In October 2008 Tom commenced a PhD, jointly sponsored by HP Labs and the University of Bristol, looking into developing statistically optimal, or near- optimal methods for performing decentralised control in distributed systems.

Prof. Dave Cliff, University of Bristol Dave Cliff is professor of computer science at the University of Bristol, and a chartered fellow of the BCS. He has previously held faculty posts at the universities of Sussex and Southampton in the UK, and at the MIT Artificial Intelligence Lab in the US. He spent 1998-2005 working in industry, initially as a research scientist for Hewlett-Packard Labs near Bristol, and latterly as a director for Deutsche Bank's Foreign Exchange Complex Risk Group, in the City of London. He’s worked as a consultant for a number of companies, mainly in media and finance, and has also acted as a consultant and advisor to the UK Government. Ms Lu Feng, University of Oxford

Lu Feng is a research student at Oxford University Computing Laboratory, and a member of Trinity College, Oxford. She holds a B.Eng in Information Engineering from the Beijing University of Posts and Telecommunication (China) and a M.Phil in Computer Speech, Text and Internet Technology from the University of Cambridge. She is currently pursuing a D.Phil in Computer Science as part of the Predictable Software Systems component of the EPSRC-funded Large-Scale Complex IT Systems initiative. Her supervisor is Professor Marta Kwiatkowska.

Dr Xiaocheng Ge, University of York

Xiaocheng Ge has degrees from Beijing University, China, in Aeronautics and Astronautics. He has been working and studying at University of York since 2004. He is interested in the field of high integrity system engineering, particular the topics of agile and model-driven software development, security and safety of complex systems.

Dr Andreas Hild, University of Leeds

Andreas Hild is a social scientist with a specialisation in qualitative methodology. He has obtained degrees in sociology from the University of Edinburgh and the University of Southampton, as well as a PhD in Business Administration from the University of Manchester. He is a member of the European Association for the Study of Science and Technology and the Medical Sociology Group at the British Sociological Association. Andreas has previously worked on the implementation and evaluation of electronic record keeping practices in acute and community care, for an NHS trust, as a part of a research team from the University of Manchester. He currently belongs to the team at Leeds Institute of Health Sciences that investigates organisational and political issues of large-scale complex IT systems. He specifically focuses on the coordination of integrated information systems in health care that specialises in stroke care.

Prof. Justin Keen, University of Leeds

Justin Keen is Professor of Health Politics in the Leeds Institute of Health Sciences. His main research interests are in the governance of health care, and in particular the application of systems and network concepts to the organization and delivery of care, and the role of information technologies in health care. Mr Adeel Waheed Khan, University of Leeds Adeel Waheed Khan is a research officer at the Leeds Institute of Health Sciences, Centre for Health and Social Care. He has degrees in Information Systems and Management, from London School of Economics. His main research areas are information systems implementation and use in public sector organisation, especially within health care. His past research has included research in healthcare information systems in tribal areas of Pakistan. He is currently working on area of privacy and data surveillance in large scale complex IT systems, with an emphasis on clinical information systems. Adeel is also currently working on a part-time PhD from University of Leeds, in the area of information systems privacy and surveillance.

Dr Zeshan Kurd, University of York Zeshan Kurd is a research associate within the High Integrity Systems Engineering group at the University of York. His main area of interest is in artificial intelligence and applications to real-world safety critical systems. Zeshan holds a PhD from the University of York on the use of Artificial Neural Networks in Safety Critical Systems. Before joining York, he graduated with his Masters in Advanced Computing at Imperial College. During this time, his project was on Quantum computing and its application to search problems in Artificial Intelligence. Subsequent to earning his PhD degree he has worked on a QinetiQ funded research project for justifying the safety of Multi-Agent systems. Following this he worked at National Air Traffic Services (NATS) as a Software Safety Engineer. Currently, he is working on the LSCITS project since 2007.

Prof. Marta Kwiatkowska, University of Oxford Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. Prior to this she was Professor in the School of Computer Science at the , Lecturer at the and Assistant Professor at the in Cracow, . She holds a BSc/MSc in Computer Science from the Jagiellonian University, MA from Oxford and a PhD from the University of Leicester. Marta Kwiatkowska is a Fellow of the BCS. Marta spearheaded the development of probabilistic and quantitative methods in verification on the international scene. Her PRISM model checker is the leading software tool in the area and is widely used for research and teaching. Applications of probabilistic model checking have spanned communication and security protocols, nanotechnology designs, power management and systems biology.

Dr. Gerald Luettgen, University of York Gerald Luettgen is Reader in Computer Science at the University of York, and Director of York's Engineering Centre in Large-Scale Complex IT Systems. Gerald’s research is in the field of formal methods for Software Engineering and comprises the following topics: Concurrency Theory, Semantic Foundations of Synchronous Languages and Automated Verification. The targeted applications concern the design and validation of embedded and time- critical systems, such as avionics and automotive controllers and communications protocols. Prof. John McDermid, University of York John McDermid is Professor of Software Engineering at the University of York where he heads a major research group studying high integrity systems. He has worked extensively with industry, particularly in the aerospace sector. He is best known for his work on safety, including the Goal Structuring Notation (GSN) which is now the de facto standard for presenting safety arguments. He has given courses on safety and software engineering to more than 120 companies on five continents. He has published 6 books and over 320 papers. He was elected a Fellow of the Royal Academy of Engineering in 2002. He has extensive experience as a consultant, mainly in the area of safety critical systems and software. He advised the MoD on the development of DS 00-56 Issue 4. He is also a member of the Defence Scientific Advisory Council providing advice to the MoD on their research programmes and on a variety of projects.

Dr. Manuel Oriol, University of York Manuel Oriol has an MSc from ENSEEIHT (Toulouse) and a PhD from University of Geneva. He has work experience at University of Maryland, at ETH Zurich and is currently a senior lecturer at University of York. He has worked on various topics that include middleware, computer science education, dynamic software updating, and software testing.

Dr John Rooksby, University of St Andrews John Rooksby is a research fellow at the University of St Andrews. He holds a BSc (first class) and PhD in Computer Science, both awarded by the University of Manchester. He took his position at St Andrews in 2008. He has previously held research positions at Lancaster University and The University of Salford. His research is in the area of socio-technical systems; he has carried out a number of studies of the uptake and use of systems in healthcare, and of human practices in software development and testing.

Prof. Ian Sommerville, University of St Andrews Ian Sommerville has been a professor of computer science at St Andrews since 2006 and was previously at Lancaster University. His research interests are primarily in complex systems engineering with a focus on dependability, requirements engineering and socio-technical systems. While at Lancaster, he cooperated with sociologists to study complex computer-based systems with a view to understanding the realities of their use and this has led to a long-term interdisciplinary collaboration. He is convinced that by examining social, organisational and human issues that we can build systems that offer faster 'time to value' after they have been deployed. His goal now is to make socio-technical systems engineering a reality where we use our understanding of socio-technical issues in the development process to create more usable and dependable software systems. Mr Ilango Sriram, University of Bristol Ilango Sriram is a PhD student at the University of Bristol, funded by Hewlett- Packard Labs. Ilango has a Master's degree in Computer Science from the Technical University of Munich (Germany). He spent a year as a research associate at the Hewlett-Packard Research Labs in Bristol, UK, where he worked on automated mapping of business processes to application and infrastructure configuration, and explored ways of monitoring and managing virtualised infrastructures in data centres. He started his PhD, fully sponsored by HP Labs, in Oct. 2007 and is looking into ways of understanding and modelling increasing complexity and dynamics in future generations of data centres.

Dr Ashutosh Trivedi, University of Oxford Ashutosh Trivedi received his BEng degree in Computer Science from VNIT, Nagpur in 2000 and his MTech degree from IIT Bombay in 2003. He is expecting to receive his doctorate from Warwick University next year, having developed his area of specialization in competitive optimization on timed automata under the supervision of Dr. Marcin Jurdzinski. In 2003 he worked at IRST (Italy), where he contributed to the development and maintenance of the NuSMV model checker. In 2004 he worked as a research assistant under Prof. Thomas Kropf at Tuebingen University (Germany), where he developed part of SymC symbolic simulator. His primary interests are in quantitative performance evaluation and verification of complex (probabilistic and timed) systems, and algorithmic game theory. From August 2008 he has been working on the EPSRC-funded LSCITS project, as a member of the Predictable Software Systems team led by Prof. Marta Kwiatkowska at the University of Oxford.

Ms Bushra Waheed, University of Leeds Bushra Waheed is a full time PhD student, based at the Centre for Health and Social Care, Leeds Institute of Health Sciences, funded by a grant from LSCITS project. She is interested in examining issues of coordination and integration in large scale complex IT systems. Her current research interests are in examining complexities of integrating information systems in child protection systems in UK across different departments and agencies. She is currently working on developing a research framework for analysis and fieldwork with this area. Bushra was previously employed at the Institute of Management Sciences (IMS), Pakistan, as a member of the graduate faculty. She has MBA from IMS, and her first degree is from London School of Economics external programme (BSc Information Systems and Management). Her previous research has been in the areas of examining outsourcing information systems in developing countries and information technology implementation in healthcare.