500

About the Contributors

Luigia Petre is a university lecturer at Åbo Akademi University, Department of Information Tech- nologies, , . She got her PhD in in 2005 on modeling techniques in . Her research interests include energy modeling, network availability, integration of formal methods, and time and space dependent computing. She has co-organized major conferences in her field such as the Integrated Formal Methods (IFM) 2002 as well as Formal Methods (FM) 2008. She has been in the programme committee of IFM in 2002, 2004, 2005, and 2007. Currently, she is coordi- nating NODES - a Nordic Dependability Network, concerned with deploying a dependability curriculum for the Nordic countries. She is a researcher in the EC-funded project DEPLOY. She has about 30 ref- ereed publications.

Kaisa Sere is a Professor of Computer Science and Engineering at Åbo Akademi University since 1997. She got her PhD in 1990 on the formal design of parallel algorithms from Åbo Akademi University. Between 1993-97, she was Associate Professor in Computer Science at University of Kuopio. She is the founder and leader of the Distributed Systems Laboratory that contains about 25 researchers. Her current research interests are within the design of dependable distributed systems, especially refinement-based approaches to the construction of systems ranging from pure software to hardware and digital circuits. Her research has been supported by the of Finland as well as by the EU framework programmes 5 to 7 with several grants. She has organised several summer schools, conferences, and workshops within her research areas. She was the vice chair of the Council of Natural and Engineering Sciences at the Academy of Finland (1.1.2004-1.12.2009). Kaisa Sere has more than 100 refereed publications.

Elena Troubitsyna is an Academy Research Fellow at the Academy of Finland. She got her PhD in Computer Science in 2000 on design methods for dependable systems. Her research interests include application of formal methods to development of dependable fault tolerant systems. She also conducts research on combining formal methods with informal techniques of safety analysis and semi-formal design techniques such as UML. She has worked on applying formal methods to development of an industrial fault-tolerant system within EU IST projects MATISSE, RODIN, and DEPLOY.

* * *

Naveed Ahmed is a PhD student in the Department of Informatics and Mathematical Modeling at Technical University of Denmark. He is actively involved in the research related to the rigorous defini- tions of security from the perspective of a system developer; in particular, he studies communication About the Contributors

security protocols and their security tradeoffs in a system, using formal mathematical models. He also has conducted some research on the interplay of usability and security. His other research interests in- clude philosophy and foundation of security. Prior to the PhD studies, he completed a Master’s degree in System-on-Chip design from Royal Institute of Technology, Sweden. He had been involved in the development of various propriety embedded systems in the industry for several years.

Pontus Boström received his PhD from the Department of Information Technology, Åbo Akademi University, Finland in 2008. He is now working as a post-doctoral researcher at the Distributed Systems Design Laboratory at the same department. His research interests include application of formal methods to different types of verification problems. Recently the research has centered around methods for formal analysis of contracts in Simulink.

Gyrd Brændeland received her Cand. Philol. degree from the University of Oslo in 2003. She is currently undertaking her PhD on to the topic of component-based risk analysis at the University of Oslo. She is also employed part time at SINTEF where she is involved in international as well as national re- search projects. Her principal current involvement is a research project addressing dynamic risk analysis and decision support in emergency situations. Her main research interests are formal specification and reasoning about risks in modular and dynamic systems.

David Byers received his M.Sc. in Computer Science from Linköping University in 1995 and has since been working in research and development primarily in the areas of source code analysis and software engineering, both in academia and industry. Current research interests include processes for software security, Web security and system and network security. Mr. Byers is currently engaged in research concerning software engineering of secure systems, with a particular focus on security in agile processes, as well as rigorous methods for improving development practices with respect to security.

Gabriele Costa received his M.Sc. in Informatics in 2006. He is currently a Ph.D. student in Com- puter Science at University of Pisa and a researcher of the Information Security Group of IIT-CNR. His research interests concern the foundational and practical aspects of the security of programming languages.

Nicola Dragoni obtained a M.S. Degree in Computer Science in 2002 and a Ph.D. in Computer Sci- ence in 2006, both at University of Bologna, Italy. From 2002 to 2006, he also worked as Research As- sistant at the Department of Computer Science at the same University. He visited the Knowledge Media Institute at the (UK) and the MIT Center for Collective Intelligence (USA), respectively in 2004 and 2006. In 2007 and 2008 he joined University of Trento as post-doctoral Research Fellow working on the S3MS project. Between 2005 and 2008 he also worked as freelance IT consultant. Since 2009 he is an Assistant Professor in security and distributed systems at the Department of Informatics and Mathematical Modelling at Denmark Technical University (DTU).

Olga Gadyatskaya received a PhD degree in Mathematics in 2008 at Novosibirsk State Univer- sity (Russia). From 2007 to 2008, she also worked as a researcher at the Institute of Computational Mathematics and Mathematical Geophysics of the Siberian Branch of Russian Academy of Science (Russia). She was an instructor at Novosibirsk State University from 2005 to 2008. Since 2009, she is a

501 About the Contributors

post-doctoral research fellow in Department of Information Engineering and Computer Science of the University of Trento (Italy). Her research interests include security policies and load-time verification approaches for smart cards.

Moises Goldszmidt is a principal researcher with Microsoft Research in the Silicon Valley campus. His research interests include probabilistic reasoning, graphical models, statistical machine learning, statistical pattern recognition, and the automated diagnosis, forecasting, and control of large distributed systems. Prior to Microsoft, Moises held similar positions with Hewlett-Packard Labs, SRI International, and Rockwell Science Center, and was a principal scientist with Peakstone Corporation (start-up). Dr. Goldszmidt has a PhD degree in Computer Science from the University of California in Los Angeles (1992). http://research.microsoft.com/en-us/people/moises/

Denis Grotsev is a Senior Lecturer at the Computer Science department, Kazakh National University (Kazakhstan). He received his BSc in Applied Mathematics as well as an MSc and a PhD in Computer Science from this University. In 2006-2007, he was involved in long-term corporate projects with the National Bank of Kazakhstan focusing on the elicitation of users’ requirements and evolution of the legacy financial software. In 2007-2009, he co-founded a GPS tracking Web service; over that period, he worked on developing mechanisms for aggregating large datasets produced by sensor networks. His research interests are parallel and distributed computing, high utilization of available hardware, fault- tolerance of multiagent systems, elicitation and specification of system requirements, formal software development, cloud computing, in-memory database and data stream management systems, and design of (embedded) domain specific languages.

Ossama Hamouda is currently post-doc researcher in the Dependable Computing and Fault Toler- ance Research Group of LAAS-CNRS. He received the M.Sc. degree in computer engineering in 2005 from the Arab Academy for Science and Technology, Alexandria, Egypt and the Master of Research degree in computing systems from Paul Sabatier University, Toulouse, France, in 2006. He received his PhD degree in July 2010 in computing systems from Paul Sabatier University. His work is focused on the dependability modelling and evaluation of vehicular applications based on mobile ad-hoc networks. His research has been partially carried out in the context of the HIDENETS HIghly Dependable ip-based NETworks and Services IST-FP6 European project. From February 2002 to February 2006, he was a Teaching Assistant at the Arab Academy for Science and Technology, Cairo, Egypt. In this period, his research was focused on the performance evaluation of mobile ad-hoc networks.

Mikko Heikkilä graduated as M.Sc. at Tampere University of Technology (TUT) majoring in machine automation in 2009. He has worked at Department of Intelligent Hydraulics and Automation (IHA) as a member of digital hydraulics research group since 2008. His main interests are in fault tolerance of digital hydraulic systems and fault tolerant control algorithms. In his Master’s , he researched fault detection and diagnosis of a digital displacement pump.

Siv Hilde Houmb is the director of SecureNOK, Norway, for which she also works as a security expert and senior advisor. SecureNOK focuses on security investment support and provide a set of related tools, amongst others, the SecInvest tool. She received her PhD in 2007 from the University of Science

502 About the Contributors

and Technology, Trondheim, Norway. Her research interests are in security investment, risk estimation, security evaluation and certification, security standards and security decision support methodologies, and techniques for choosing between alternative solutions. Chosen solutions must be able to balance contracted security levels, available resources, and end-user expectations, while still fulfilling financial and business constraints.

Mikko Huova graduated as M.Sc. at Tampere University of technology (TUT) in 2008. Work with control algorithms of digital hydraulic systems started before his graduation as a research assistant at the Department of Intelligent Hydraulics and Automation (IHA). He is continuing the study of the subject now as a researcher mainly focusing on the energy saving control algorithms of digital hydraulic sys- tems. Areas of interest include also the use of light weight formal methods in controller development.

Alexei Iliasov is a Research Associate at the School of Computing Science, , Newcastle-upon-Tyne, UK. He got his PhD in Computer Science in 2008 in the area of modelling artefact reuse in formal developments from this school. His research interests include agent systems, formal methods for software engineering, and tools and environments supporting modelling and proof.

Christian Damsgaard Jensen is an Associate Professor at the Technical University of Denmark. He holds an M.Sc. in Computer Science from the University of Copenhagen and a Ph.D. in Computer Sci- ence from Université Joseph Fourier in Grenoble. His research interests include computer and network security, especially issues involving secure collaboration in potentially large open computing environments where there are no trusted third parties to mediate interactions among mutually suspicious principals.

Mohamed Kaâniche is currently Directeur de Recherche of CNRS. He joined the Dependable Computing and Fault Tolerance Research Group of LAAS-CNRS, Toulouse, France, since 1988. From March 1997 to February 1998, he was a Visiting Research Assistant Professor at the University of Illinois at Urbana-Champaign, IL, USA. His research addresses the dependability and security assessment of computer systems and critical infrastructures, using analytical modeling and experimental measurement techniques. He has (co)authored two books on these subjects and more than 100 publications in interna- tional journals and conference proceedings. He has contributed to several national and European research contracts, and acted as a consultant for companies in France and as an expert for the European Commis- sion. He served on the organizing and program committees of the major dependability conferences in the area. He was Program Chair of PRDC-2004, EDCC-5, DSN-PDS-2010, and currently LADC-2011.

Karama Kanoun is Directeur de Recherche of CNRS, heading the Dependable Computing and Fault Tolerance Research Group (http://homepages.laas.fr/kanoun/). Her research interests include modeling and evaluation of computer system dependability considering hardware as well as software, and depend- ability benchmarking. She has (co)authored more than 150 conference and journal papers, 5 books and 10 book chapters. She has co-directed the production of a book on Dependability Benchmarking (Wiley and IEEE Computer Society, 2008). She is vice of the IFIP working group 10.4 on Dependable Com- puting and Fault Tolerance. She is member of the Editorial Board of IEEE Transactions on Dependable and Secure Computing, International Journal of Performability Engineering and International Journal of Critical Computer-Based Systems. She is chairing the Steering Committee of the European Dependable

503 About the Contributors

Computing Conference and member of the Steering Committees of DSN, ISSRE, SSIRI. She has been involved in several national and European research projects.

Amela Karahasanović is a Research Scientist at SINTEF ICT and an Associate Professor in the Department of Informatics at the University of Oslo. She received the PhD degree in computer science from the University of Oslo in 2002. She has nine years of industry experience as a system developer and project manager and experience with basic and applied research (eight years at the University of Oslo and Simula Research Laboratory; three years at SINTEF). From 2007-2009, she led work focusing on user requirements in the EU project CITIZEN MEDIA and currently leads the work on modeling user behavior in the CELTIC project R2D2 Networks. Her research interests include methods for evaluating user experience, unobtrusive usability and user profiles.

Vyacheslav Kharchenko received his PhD in Technical Science at Military Academy named after Dzerzhinsky (Moscow, Russia) in 1981 and Doctor of Technical Science degree at Kharkiv Military University (Kharkiv, Ukraine) in 1995. He is a Professor and the Head of the Computer Systems and Networks Department at National Aerospace University KhAI, Ukraine. He is also a Senior Researcher in the field of safety-related software at State Science-Technical Center of Nuclear and Radiation Safety (Ukraine). He has been a head of the DESSERT International Conference since 2006. His research inter- ests include critical computing, dependable and safety-related I&C systems, n-version design techniques, software and FPGA-based systems verification, and expert analysis.

Marko Kääramees received the MSc degree in system engineering from Tallinn University of Technology, Tallinn, Estonia, in 1995. He is currently lecturer in the Department of Computer Science, Tallinn University of Technology, Tallinn, Estonia. His research interests include model-based testing theory, formal verification in system design, and AI algorithms.

Linas Laibinis is a Senior Researcher at the Department of Information Technologies of Åbo Aka- demi University (Turku, Finland). He got his PhD in Computer Science in 2000 on mechanised formal reasoning about computer programs. His research interests include interactive environments for proof and program construction, as well as application of formal methods to modeling, and development of fault tolerant and distributed software systems.

Aliaksandr Lazouski received his M.Sc. in Electronics from Belarusian State University in 2006. He is currently a PhD student in Computer Science at the University of Pisa in collaboration with IIT- CNR. His research interests include access control models, trust management, usage control, and digital rights management.

Matti Linjama is Adjunct Professor at the Department of Intelligent Hydraulics and Automation (IHA), Tampere University of Technology (TUT), Finland. He graduated as Dr. Tech in 1998. He started the study of digital hydraulics in 2000 and has focused on the topic since. Currently he is leader of digital hydraulics research group in IHA and his professional interests include the study of hydraulic systems with high energy efficiency. He is also teaching at IHA and subjects include simulation of hydraulic systems and digital hydraulics.

504 About the Contributors

Miroslaw Malek is Professor and Chair of Computer Architecture and Communication at the Depart- ment of Computer Science at Humboldt University in Berlin. His research interests focus on depend- able architectures and services in parallel, distributed, and embedded computing and communication environments. He has published over 200 papers and co-authored or edited seven books. He founded, organized, and co-organized numerous workshops and conferences and served or serves on editorial boards of several journals and is consultant to government and companies on technical and strategic issues in Information Technology. Malek received his PhD in Computer Science from the Technical University of Wroclaw in Poland, spent 17 years as professor at the University of Texas at Austin and was also, among others, visiting professor at Stanford, Universita di Roma “La Sapienza,” Keio Uni- versity, Technical University of Vienna, New York University, Chinese University of Hong Kong, and guest researcher at Bell Laboratories and IBM T.J. Watson Research Center http://www.rok.informatik. hu-berlin.de/Members/malek/malek

Maili Markvard received the M.S. degree in informatics from Tallinn University of Technology, Estonia, in 2007. From 2005 to 2008, she was quality consultant and since 2008 is quality manager at ASA Quality Services Ltd. She is a founding member and member of the Council of the Estonian Test- ing Board. She is currently also researcher at the Department of Computer Science, Tallinn University of Technology and lecturer at Estonian Information Technology College. Her major research interests are software testing, quality assurance and quality management, and model-based testing.

Fabio Martinelli (M.Sc. 1994, Ph.D. 1999) is a senior researcher of IIT-CNR. He is co-author of more than 100 publications. His main research interests involve security and privacy in distributed and mobile systems, foundations of security and trust. He is the co-initiator of the International Workshop on Formal Aspects in Security and Trust (FAST). He is serving as scientific co-director of the international research school on Foundations of Security Analysis and Design (FOSAD). He chairs the WG on security and trust management (STM) of the European Research Consortium in Informatics and Mathematics (ERCIM). He usually manages R&D projects on security and he is involved in several EU projects.

Fabio Massacci received a M.Eng. in 1993 and Ph.D. in Computer Science and Engineering at University of Rome La Sapienza in 1998. He joined University of Siena as Assistant Professor in 1999, and was visiting researcher at IRIT Toulouse in 2000, and joined Trento in 2001 where is now full Professor. His research interests are in security requirements engineering and verification for load-time security. He is currently scientific coordinator of a multimillion R&D European project on security and evolution (www.securechange.eu).

Paolo Mori (M.Sc. 1998, Ph.D. 2003) is a researcher of IIT-CNR. His main research interests in- volve high performance computing and trust and security in distributed systems, such as the Grid or the Cloud, and in mobile systems, such as smart phones or PDAs. He is co-author of more than 30 papers published on international journals and conference or workshop proceedings. He is involved in several national and European projects on information and communication security.

Simin Nadjm-Tehrani is a Professor at Linköping University (LiU), Sweden. She obtained her BSc from Manchester University, and her PhD from Linköping University in 1994. Before

505 About the Contributors

her PhD she worked for six years at international companies Deloittes and Price Waterhouse in the early eighties. She has also been a full Professor in dependable real-time systems at University of Luxembourg 2006-2008. Since 2000, she has led the real-time systems laboratory (RTSLAB) at the department of Computer and Information Science, LiU, currently involving 9 PhD students and postdoctoral researchers. Her current research interest is in dependable distributed systems and networks with resource constraints, including analysis of safety and fault tolerance, reliable communication and measuring availability in presence of failures, attacks, and overloads. http://www.ida.liu.se/~snt

Priya Narasimhan is an Associate Professor at Carnegie Mellon University. She obtained her PhD from the University of California, Santa Barbara. She has launched and helped to run the technical and business aspects of three startup companies in the area of computer systems. She currently serves as the Director of Intel Labs Pittsburgh. Her research interests lie in dependable distributed systems, cloud computing, mobile systems, and embedded real-time systems. She is a die-hard sports fan. http://www. cs.cmu.edu/~priya

Marta (Pląska) Olszewska received her M.Sc. in Computer Science from the University of Gdańsk, Poland in 2005. She is a Turku Centre for Computer Science (TUCS) PhD student, a researcher, lecturer assistant at Åbo Akademi University, and an active member of Distributed Systems Design Laboratory. She is involved in the European Project DEPLOY on Industrial deployment of system engineering meth- ods providing high dependability and productivity and FIMECC-coordinated EFFIMA Programme on energy and life cycle cost efficient machines. Her research interests focus on software quality, particu- larly in perspective of application of (semi) rigorous methods. Two of her publications were presented at the CONQUEST conferences organised by International Software Quality Institute. She has more than seven years of experience in software quality management, systems development and database design.

Aida Omerovic is PhD fellow in computer science at University of Oslo and part time research fellow at SINTEF. Her current research is on to the topic of model based prediction of impacts of ar- chitecture design changes on system quality. She received her MSc degree in Engineering Cybernetics from Norwegian University of Science and Technology in 2002. She has experience with ICT related topics in various domains (applied and basic research, higher education sector, oil and gas, metallurgy, telecom and administration); including 4.5 years as scientist and project manager in UNINETT FAS, 1.5 year as system developer for several consultancies in Norway, 3 years at SINTEF and University of Oslo, and half a year from Software Engineering Research Centre at Royal Melbourne University of Technology. Her main research interests include: prediction of system quality, model based analysis and simulation of system architectures, security, software change management, metrics, measurements, software integration, middleware, and monitoring.

Sergey Ostroumov received his M.Sc. degree in Computer Systems and Networks at National Aero- space University KhAI (Kharkiv, Ukraine) in 2008. Currently he is working on his PhD thesis at Åbo Akademi University (Turku, Finland). His research interests include the formal modelling for developing and verifying embedded dependable systems.

506 About the Contributors

Yuliya Prokhorova received her M.Sc. degree in Computer Systems and Networks at National Aero- space University KhAI (Kharkiv, Ukraine) in 2008. Currently she is working on her PhD thesis at Åbo Akademi University (Turku, Finland). Her research interests include formal modelling and verification methods, and development and verification of safety-critical and fault tolerant systems.

Indrajit Ray is an Associate Professor of Computer Science at the Colorado State University. He got his Ph.D. in Information Technology from George Mason University in 1997. Indrajit’s main research interests are in network security, survivability, security protocols, trust models, and privacy models and techniques. He has published over 70 peer-reviewed technical papers in related areas. He is on the editorial board of three journals as well as on the program committees of several conferences. He was the founding member and first chair of the IFIP WG 11.9 group on Digital Forensics. He is a member of ACM, ACM SIGSAC, IEEE, IFIP WG 11.3, and IFIP WG 11.9.

Indrakshi Ray is an Associate Professor in the Computer Science Department at Colorado State University. Prior to joining Colorado State, she was a faculty at the University of Michigan-Dearborn. She obtained her PhD from George Mason University. Her research interests include security and privacy, database systems, e-commerce, and formal methods in software engineering. She has published several refereed journal and conference papers in these areas. She served as the General Chair for SACMAT 2008, Program Chair for SACMAT 2006, and Program Co-Chair for IEEE/IFIP TSP 2008 and IFIP WG 11.3 DBSEC 2003. She has also been a member of several program committees such as EDBT, SACMAT, ACM CCS, and EC-Web. She is a member of the ACM and the IEEE.

Alexander Romanovsky is with the School of Computing Science at Newcastle University. Since the early 90s he has been involved in a series of European and UK projects focusing on various aspects of dependability, including the ESPRIT Predictably Dependable Computing Systems Basic Research Action (PDCS), the ESPRIT Design for Validation Basic Project (DeVa), the IST Dependable Systems of Systems Project (DSoS), the EPSRC/UK Diversity in Safety Critical Software Project, the FP5 ICT Rigorous Open Development Environment for Complex Systems Project (RODIN) and the EPSRC/ UK Diversity with Off-The-Shelf Components Project (DOTS). He is now the Coordinator of the ma- jor FP7 Integrated Project on Industrial Deployment of System Engineering Methods Providing High Dependability and Productivity (DEPLOY, 2008-2012). His main research interests are system depend- ability, fault tolerance, software architectures, exception handling, error recovery, system structuring, and verification of fault tolerance.

Felix Salfner is a senior researcher at Humboldt-Universität zu Berlin, Germany. He received his diploma degree in 2002 from Technical University Berlin and his PhD in Computer Engineering in 2008 from Humboldt-Universität zu Berlin. In 2008, he has been a visiting scholar at International Computer Science Institute (ICSI) Berkeley and at SAP Labs, LLC in Palo Alto, California. His research focus is on dependable systems, online failure prediction, proactive fault management, stochastic modeling, and machine learning. http://www.rok.informatik.hu-berlin.de/Members/salfner

Fredrik Seehusen received his cand. scient. degree from the University of Oslo in 2003 and a PhD degree in computer science from the University of Oslo in 2009. He is currently working as a researcher

507 About the Contributors

at SINTEF, where he is involved in both national and international research projects related to security, modeling, and risk analysis.

Emil Sekerinski studied computer science at the University of Stuttgart and the University of Karl- sruhe, Germany and received his doctoral degree from the University of Karlsruhe in 1994. He is currently Associate Professor in the Department of Computing and Software at McMaster University, Hamilton, Canada. Prior to joining McMaster in 1997, he had positions at Abo Akademi, Turku, Finland from 1995 to 1997. His research interests include the design of reliable programs by mathematical specification and development techniques, object orientation, concurrent and reactive systems, programming languages, and programming tools. In 2003, he had research visits to TU Munich and ETH Zurich. He is currently working on invariantcharts, a visual formalism for the correct design of reactive system, and on theory and implementation of object-based concurrency.

Nahid Shahmehri received her Ph.D. in 1991, in the area of programming environments, and was made full Professor in Computer Science at Linköping University in 1988. Since 1994, her research activities have been concerned with various aspects of engineering advanced Information Systems, such as security. Current research activities include processes for software security, software security in vehicular systems, mobile authentication, spam prevention, and vehicular networks. Professor Shah- mehri heads the division for database and information techniques at the Department of Computer and Information Science at Linköping University. She is chairperson of the Swedish Section of the IEEE Chapter for Computer/Software.

Ketil Stølen is Chief Scientist and Group Leader at SINTEF. Since 1998, he is Professor in computer science at the University of Oslo. Stølen has broad experience from basic research (4 years at Manchester University; 5 years at Munich University of Technology; 12 years at the University of Oslo) as well as applied research (1 year at the Norwegian Defense Research Establishment; 3 years at the OECD Hal- den Reactor Project; 10 years at SINTEF). He has broad experience from research projects - nationally as well as internationally - and from the management of research projects. From 2001-03 he was the technical manager of the EU-project CORAS, which had 11 partners and a total budget of more than 5 million EURO. He has recently co-authored a book on the method originating from this project. He is currently managing several major Norwegian research projects focusing on issues related to modelling, security, risk analysis, and trust.

Anton Tarasyuk is a PhD student at the Department of Information Technologies of Åbo Akademi University, Finland. His research interests include integration of stochastic reasoning about dependability into formal development of safety critical systems.

Jüri Vain received the M.S. degree in system engineering from Tallinn Polytechnic Institute, Tallinn, Estonia, in 1979, and the Ph.D. degree from the Institute of Cybernetics, Estonian Academy of Sciences, Tallinn, Estonia, in 1987. He is currently Professor in the Department of Information Technologies at Abo Akademi University, Finland, Professor in the Department of Computer Science, Tallinn University of Technology, Tallinn, Estonia, and also Senior Researcher in the Department of Control Systems, In- stitute of Cybernetics. His research interests include model-based testing theory, discrete-event systems modeling, formal verification in system design, robotics, and fault tolerance.

508 About the Contributors

Paul A.S. Ward is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. His research interests span the areas of distributed systems and computer networks. In distributed computing, his work focuses on distributed-systems management, and more generally on dependable and self-managing distributed systems. In networks, his interest lies in wireless data networks, especially wireless-mesh and delay-tolerant networks, and more recently, in providing dependable network service to multi-interface smartphones. Prior to pursuing his PhD, he worked in both the hardware and software industries, covering the range from electronic-parking-meter design to developing the fast parallel load utility for the DB2 database system. Dr. Ward has a BScEng in Electrical Engineering from the University of New Brunswick and a Ph.D. in Computer Science from the Univer- sity of Waterloo. He is a member of the ACM, the IEEE, including the Computer and Communications Societies, as well as a Professional Engineer. http://ccng.uwaterloo.ca/~pasward

Marina Waldén is a senior university lecturer and an Adjunct Professor () at the Department of Information Technologies at Åbo Akademi University (Finland). She received her PhD degree in Computer Science from Abo Akademi University (Finland) in 1998, and her docent at Abo Aka- demi University (Finland) in 2005. Her research interests include formal methods and their application on industrial strength systems. She has also been involved in combining formal methods, e.g. B, with semi-formal methods like UML. She was a lead investigator on the EU IST project MATISSE on the industrial application of formal methods. Currently, she is the responsible leader of the DIJON-project on design of distributed networks. She was Organizing Chair for the International Conference for Z and B Users 2003, as well as Programme Co-Chair for the B-track of that conference. She has published about 30 refereed articles.

John Wilkes got his PhD from Cambridge University, and joined HP Labs in 1982 where he was elected an HP Fellow and an ACM Fellow in 2002 for work on storage system design. His interests span many aspects of distributed systems, with a recurring theme around self-management of infrastructure systems. In November 2008 he moved to Google, where he is working on cluster management and service level agreements for infrastructure services. In his spare time he continues, stubbornly, trying to learn how to blow glass. http://www.e-wilkes.com/john

509