I am a Senior Research Associate at Lancaster University where I also finished my PhD.

I am interested in all aspects of software modelling and specially the application of model-driven techniques, during the development and operation of dynamically adaptive systems. I am particularly interested in what I call models@run.time, the use of models and model-driven techniques during runtime. Models can be used, for example, to check correctness and consult the current state of a system during execution. A key benefit is that models can be used to offer a richer semantic support for runtime decision-making related to system adaptation and other runtime concerns. The use of reflection is crucial in order to have a self-representation of the system that can be consulted in operation. I believe that models@run.time has potential for the development systems that must adapt dynamically to their environment Adaptive Systems, from Requirements through to Implementation.

I particularly support the focus on research in areas that span different areas of research to exploit connections and links. In doing so, I have contributed to the modelling of distributed adaptive systems in the Middleware Research Group at Lancaster and in the past I also applied Software Engineering and Discrete Event Simulation concepts when I worked for the Operational Research group at the Universidad Central de Venezuela.

I am also interested in giving some space to serendipity, an aspect of research that sometimes is forgotten.

My research interests are in biologically inspired computing, and include mathematically modeling biological and chemical systems and using such models to improve our ability to engineer complex systems. My work involves discreet math, mathematical modeling, theoretical computer science, software engineering, programming language design, and software architectures.

I have recently defended my Ph.D. dissertation titled Self-Assembly for Discreet, Fault-Tolerant, and Scalable Computation on Internet-Sized Distributed Networks. Now, I am continuing my research at the Center for Systems and Software Engineering, working with Prof. Nenad Medvidović. You can find out more about my work in my research and publications sections.

I have previously worked with Prof. Leonard Adleman at the USC Laboratory for Molecular Science and with Prof. Michael Ernst at the MIT Computer Science and Artificial Intelligence Laboratory Program Analysis Group.

Betty H.C. Cheng is a Professor in the Department of Computer Science and Engineering at Michigan State University. Her research and teaching interests include formal methods for software engineering, software development environments, object-oriented analysis and design, embedded systems development, assurance patterns, adaptive middleware, visualization, and distributed computing.

She collaborates with industrial partners for both her class projects and research in order to facilitate technology exchange between academia and industry. Industrial partners include Siemens, Eaton, Motorola, and General Dynamics.

She was awarded a NASA/JPL Faculty Fellowship to investigate the use of new software engineering techniques for portion of the shuttle software. Her research has been funded by NSF, ONR, NASA, USDA, EPA, and numerous industrial organizations.

She serves on the editorial boards for IEEE Transactions on Software Engineering, Requirements Engineering Journal, and Software and Systems Modeling. Each year, she serves on numerous program and organizational committees for international conferences and workshops.

Dr. Cukic is a Robert C. Byrd Professor of Computer Science and Electrical Engineering at West Virginia University . He received a Dipl. Ing. (BS) degree in Computer Science from the University of Ljubljana, Slovenia, and both M.S. and Ph.D. degrees in Computer Science from the University of Houston in 1993 and 1997, respectively. His research interests include software engineering, information assurance and biometrics, fault-tolerant and high-performance computing.

Dr. Cukic is the co-director of Center for Identification Technology Research (CITeR), an NSF Industry University Cooperative Research Center, and the director of WVU High Assurance Systems Lab (HASEL). He is a member of the Editorial Board of Empirical Software Engineering Journal, a member of the ISSRE Steering Committee, and has served as the program committee Co-Chair of HASE '07, SRDS '05, and ISSRE '03.

Rogério de Lemos is a Lecturer in Computing Science at the University of Kent (UK). He has organised several workshops including the workshops on Architecting Dependable Systems (WADS) at ICSE and DSN, and the workshops on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) at ICSE.

He was the PC co-chair of LADC 2003. He has over 50 scientific publications, and recently co-edited four books on Architecting Dependable Systems.

I am currently working as a lecturer at Birkbeck college (University of London). My current interests are related to the engineering of self-assembly of software, self-organising, and self-adaptive systems.

I am exploring reliability and controllability issues (how to build a reliable and trustworthy self-organising system that is controllable);  properties and formal methods issues (what formal methods can help proving properties of self-organising systems); and decentralised algorithms.

The applications areas I am focusing on at the moment are: car traffic management, digital rights managements, assembly systems,  and dynamically resilient systems.

Since July 2005, Schahram Dustdar is Full Professor of Computer Science with a focus on Internet Technologies heading the Distributed Systems Group, Institute of Information Systems, Vienna University of Technology (TU Wien) where he is director of the Vita Lab. He is also Honorary Professor of Information Systems at the Department of Computing Science at the University of Groningen (RuG), The Netherlands. He is Chair of the IFIP Working Group 6.4 on Internet Applications Engineering and a founding member of the Scientific Academy of Service Technology.

He received his M.Sc. (1990) and PhD. degrees (1992) in Business Informatics (Wirtschaftsinformatik) from the University of Linz, Austria. In April 2003 he received his Habilitation degree (Venia Docendi in Angewandte Informatik) for his work on Process-aware Collaboration Systems - Architectures and Coordination Models for Virtual Teams. His work experience includes several years as the founding head of the Center for Informatics (ZID) at the University of Art and Industrial Design in Linz (1991-1999), Austrian project manager of the MICE EU-project (1993 - 97), and director of Coordination Technologies at the Design Transfer Center in Linz (1999 - 2000). While on sabbatical leave he was a post-doctoral research scholar (Erwin-Schrödinger scholarship) at the London School of Economics (Information Systems Department) (1993 and 1994), and a visiting research scientist at NTT Multimedia Communications Labs in Palo Alto, USA during 1998.

From 1999 - 2007 he worked as the co-founder and chief scientist of Caramba Labs Software AG (CarambaLabs.com) in Vienna (acquired by Engineering NetWorld AG), a venture capital co-funded software company focused on software for collaborative processes in teams. Caramba Labs was nominated for several (international and national) awards: World Technology Award in the category of Software (2001); Top-Startup companies in Austria (Cap Gemini Ernst & Young) (2002); MERCUR Innovationspreis der Wirtschaftskammer (2002). Currently, Prof. Dustdar is on the management board of the Association of the alumni of the TU Wien.

Stephen Fickas is a Professor in the Computer Science Department at the University of Oregon .

His interest is in personalized requirements engineering with a specific interest in the role adaptable systems can play in meeting a person's changing requirements.

Anthony Finkelstein a graduate in systems engineering holding a BEng, MSC and PhD. He is Professor of Software Systems Engineering at University College London (UCL), a leading UK research university, where he works in the broad field of software systems engineering.

He is outgoing Chair of IFIP WG 2.9 (Software Requirements Engineering) an international research society. He established the research group in software systems engineering at UCL and played a key role in the foundation of London Software Systems. He is now Head of the Department of Computer Science at UCL. He serves on the UK Research Assessment Exercise panel for Computer Science and Informatics and was a member of the Committee of Visitors for the US National Science Foundation.

My education and qualifications are all in Computer Science. On 21st of December 1998 I obtained a PhD in Computer Science from the University of Southern California (USA) under the supervision of Prof. Barry Boehm. My thesis is about detecting architectural mismatches during software system composition. I have an MSc degree in Software Engineering from the University of Southern California (USA; 1995) and another in Computer Science from the Rensselaer Polytechnic Institute (USA; 1992). My BSc was in Mathematics with specialization in Informatics from the Universidade do Estado do Rio de Janeiro (Brazil; 1989).

I have been a lecturer in the School of Computing Science at Newcastle University (UK) since August 2002, where I am part of the dependability group. My previous academic research experience was working as a researcher in my current organization (2001-2002), as a graduate research assistant to Prof. Barry Boehm at the University of Southern California (USA; 1993-1998), and to Prof. David Musser at the Rensselaer Polytechnic Institute (USA; 1992).

I have research experience from industrial environments, having led the Software Architectures Group at the Fraunhofer Institute for Experimental Software Engineering (IESE) in Germany (1998-2000) and at TRW (USA; 1995). Further industrial experiences were as a software engineer at TRW (USA; 1993), IBM (Brazil; 1988-1991), and two SMEs in Brazil (1987 and 1988).

David Garlan is a Professor of Computer Science and Director of Software Engineering Professional Programs at Carnegie Mellon University.

His interests include software architecture, self-adaptive systems, and formal methods. He is one of the founders of the field of software architecture, and, in particular, formal representation and analysis of architectural designs.

He was a co-organizer of the two successful Workshops on Self-Managed Systems (co-located with FSE in 2002 and 2004).

I am currently full professor at the Department of Computer Engineering, Systems and Industrial Engineering, University of Roma "Tor Vergata", Italy. My general research interests are in the field of methods and tools for the validation of extra-functional quality indices (in particular, performance and dependability indices) for computing and communication systems.

Within this general framework, I have recently focused my research activity on mobile computing systems and on geographically distributed service-oriented systems. For such systems, I am pursuing two highly correlated research lines:

• definition of methodologies for the design and analysis of adaptable applications;

• definition of tools to automate the generation of analysis models for extra functional quality indices (like performance, reliability, ...), with particular reference to the applications and systems considered in the former research line.

In the past, I have been interested in the definition of methodologies for the performance and dependability analysis of fault-tolerant systems (in particular, "performability" indices), and for the performance analysis of wireless communication protocols.

Dr. Gabor Karsai is a Professor of Electrical Engineering and Computer Science at Vanderbilt University, and Senior Research Scientist at the Institute for Software-Integrated Systems. He has over twenty-five years of experience in software engineering.

I am a computer scientist who does - among other things - research in reverse engineering of software systems. I have a Ph.D. from the University of Victoria, Canada, a Diplom-Informatiker degree from the University of Stuttgart, Germany, and a M.Sc. in Computer Science from the University of Massachusetts Dartmouth, USA.
I have been working for Prof. Urs Hölzle (UC Santa Barbara, now Google), Prof. Plödereder (University of Stuttgart), and Prof. Müller (University of Victoria).

I am professor at the Computer Science Department at University of L'Aquila. My research interests are in the field of the application of formal techniques to the development of software systems. These include software specification and verification of concurrent and distributed systems, deduction systems, and Software Architectures.

Current research interests mainly concentrate in the field of software architectures specifically addressing the verification and analysis of software architecture properties, both behavioral and quantitative. On this topics I collaborate with several national and international companies. Recently I am working on the design and development of mobile resource aware applications.

Marin Litoiu is Senior Researcher with Centre for Advanced Studies at the IBM Toronto Laboratory where he leads the research program in Software Engineering, System Management and  Autonomic Computing. He is the Director of Centre of Excellence for Research in Adaptive Systems (CERAS) and the Chair of the Consortium for Software Engineering Research (CSER).

He also holds a faculty position with York University, Canada. He was co-organizer of the ICSE workshops ACSE 2003, ACSE 2004, DEAS 2005, SEAMS 2007 and of the CASCON Workshops Self-Optimizing Systems in 2004, 2005, 2006 and 2007.

Jeff Magee is Head of the Department of Computing at Imperial College London. His research is primarily concerned with the software engineering of distributed systems, including design methods, analysis techniques, operating systems, languages and program support environments for these systems.

His work on Software Architecture has lead to the commercial use by Phillips of the Architecture Description language   Darwin  in their next generation of consumer television products. He is the author of over 80 refereed conference and journal publications and has written a book on concurrent programming entitled “Concurrency - State models and Java programs.”

He was co-editor of the IEE Proceedings on Software Engineering and is currently chair of the International Conference on Software Engineering Steering Committee.

He is a Chartered Engineer and a member-at-large of the ACM SIGSOFT committee. He was awarded the BCS 1999 Brendan Murphy prize for the best paper in Distributed systems and the IEE Informatics Premium prize for 1998/99 for a paper on Software Architecture.

Sam (Siamak) Malek is an Assistant Professor in the Department of Computer Science at George Mason University.  He is a faculty member of the C4I Center at GMU.

Malek's general research interests are in the field of software engineering, and to date his focus has spanned the areas of software architecture, distributed and embedded software systems, and quality of service analysis. The underlying theme of his research has been to devise techniques and tools that aid with the construction, analysis, and maintenance of large-scale distributed and embedded software systems.

Malek received his Ph.D. in 2007 from the Computer Science Department at the University of Southern California under the direction of Professor Nenad Medvidovic.  He also received an M.S. degree in Computer Science from the University of Southern California, and a B.S. degree in Information and Computer Science from the University of California Irvine. He is a member of the Association for Computing Machinery (ACM), ACM Special Interest Group on Software Engineering (SIGSOFT), and the Institute of Electrical and Electronics Engineers (IEEE).

Raffaella Mirandola received the Laurea degree in Computer Science from the University of Pisa and the Ph.D. degree in Computer Science from the University of Roma "Tor Vergata", Italy.

She is currently assistant professor at Politecnico di Milano. Her research interests include software performance engineering, performance and reliability model generation, model analysis techniques, software reliability analysis through statistical techniques, design methodologies and performance analysis of software architectures for mobile computing. She is currently involved in research on performance model generation and analysis of component-based systems and service-oriented systems.

Hausi Müller is a Professor in the Department of Computer Science and Director of the Bachelor of Software Engineering Program at the University of Victoria, British Columbia, Canada. He is a Visiting Scientist with the Center for Advanced Studies at the IBM Toronto Laboratory.

He is the Chair of the Technical Steering Committee of CSER, a Canadian Consortium for Software Engineering Research. Together with his research group and in collaboration with IBM he investigates methods, models, architectures, and techniques for autonomic computing applications. He also concentrates on building Adoption-Centric Software Engineering (ACSE) tools and on migrating legacy software to autonomic and network-centric platforms.

He was GC for ICSE 2001 & IWPC-2003 and PC Chair for CASCON 2003. He was co-organizer of the ICSE workshops ACSE 2003, ACSE 2004, DEAS 2005, SEAMS 2006 and SEAMS 2007.

Mary Shaw is a member of the software engineering faculty of the School of Computer Science at Carnegie Mellon University

Research: value-based software engineering, everyday software, software engineering research paradigms, software architecture.

Education: about software engineering research, about development methods

Publication: value-based software engineering, software architecture, software engineering, software engineering education

Richard N. Taylor is a Professor of Information and Computer Sciences, University of California at Irvine and a member of the Department of Informatics. His research interests are centered on design and software architectures, especially event-based and peer-to-peer systems and the way they scale across organizational boundaries.

Professor Taylor is the Director of the Institute for Software Research, which is dedicated to fostering innovative basic and applied research in software and information technologies through partnerships with industry and government. He has served as chair of ACM's SIGSOFT, chair of the ICSE Steering Committee, and was GC of the 1999 International Joint Conference on Work Activities, Coordination, and Collaboration and FSE 2004.

Taylor was a 1985 recipient of a Presidential Young Investigator Award and in 1998 was recognized as an ACM Fellow. In 2005 he was awarded the ACM SIGSOFT Distinguished Service Award.

I am a senior researcher at the Katholieke Universiteit Leuven, funded by the Research Foundation Flanders. I am member of the AgentWise task force at DistriNet Labs.

I received a Ph.D in Computer Science in 2006 from the Katholieke Universiteit Leuven for work on multiagent systems and software archtitecture. My main research interests are in software architecture, self-managing systems, multiagent systems, and middleware for decentralized systems.

Currently, I am working on the definition and development of a formally founded architectural description language for decentralized software systems. The objective is to employ this language for analyzing system properties and investigating the verification of system-wide properties of decentralized software systems.

Jon Whittle is a Professor of Software Engineering in the Department of Computing at Lancaster University. His research interests lie in the area of software engineering, in particular, software modeling.

Jon has a BA in Mathematics from the University of Oxford, an MSc in Knowledge-Based Systems from the University of Edinburgh and a PhD in software engineering environments from Edinburgh. Jon previously worked at NASA Ames Research Center where he led and applied research in software modeling and domain-specific software engineering.

He also was an Associate Professor at George Mason University in Virginia. Jon has taught software engineering across the world, most notably at India’s prestigious IIT. Jon's research has been funded by NASA, the FAA, Aerospace Corporation and the Royal Society.