500 About the Contributors Luigia Petre is a university lecturer at Åbo Akademi University, Department of Information Tech- nologies, Turku, Finland. She got her PhD in Computer Science in 2005 on modeling techniques in formal methods. 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 Academy 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 Open University (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 thesis, he researched fault detection and diagnosis of a digital displacement pump.