Programme Social Events *New* Biographies Abstracts
Registration Accommodation Cost Scholarships Credit Course ISS Poster
ICSE Warm-Up Programme *NEW* Submissions Deadlines Committee WUP Cfp Poster
Transport Tourism Contacts


5th IFIP Summer School on Software Technology and the Warm Up Workshop for ACM/IEEE ICSE 2010


Software Transactions
Andrew Herbert
Microsoft Research Limited,
Cambridge, UK
Andrew joined Microsoft Research in 2001 as an Assistant Director and in March 2003 he succeeded the founding director, Roger Needham. Andrew's research interests include computer networking, operating systems and distributed computing. Prior to joining Microsoft Research in 2001 he was Director of Advanced Technology at Citrix Systems Inc., where he was instrumental in steering the company towards Internet thin-client technologies, initiating development of products for web-based application deployment and for the emerging Application Service Provider market. Earlier, Andrew was a faculty member in the Computer Laboratory at the University of Cambridge in England, where he worked with Roger Needham and Maurice Wilkes on early seminal developments in Local Area Networks and Distributed Computing. In 1975 he graduated from the University of Leeds, England with a B.Sc. in Computational Science and 1978 with a Ph.D. from Cambridge University in Computer Science. Andrew is a Fellow of the Royal Academy of Engineering, a Fellow of Wolfson College Cambridge, England, a member of St John's College Cambridge, England, a Fellow of the British Computer Society, a Liveryman of the City of London Worshipful Company of Information Technologists, a Chartered Engineer and Chartered Information Technology Professional.
Self-Managing Software
Dr Mike Hinchey
LERO (The Irish Software Engineering Research Centre), Limerick, Ireland
Mike Hinchey is Co-Director of Lero-the Irish Software Engineering Research Centre and Professor of Software Engineering at University of Limerick, Ireland. Particular areas of software research for Prof Hinchey include Formal Methods, Autonomous Systems and Software Reliability. Until January 2007, Mike was Director of the NASA Software Engineering Laboratory located at NASA Goddard Space Flight Center.  He continues to serve as a NASA expert consultant. His work with NASA was implemented in various space projects and will be incorporated in future missions. He helped make NASA missions self-managing and able to proceed to terrains that were previously inaccessible. He also helped develop significant advances in survivability, with consequent less liklihood of mission failure.   Prior to joining the government, at various times he held positions at the level of full professor in  Australia, Sweden, Ireland and the UK. Hinchey received a B.Sc. in Computer Science from University of Limerick, an M.Sc. in Computation from University of Oxford, and Ph.D. in Computer Science from Cambridge. He is Chair of the IEEE Technical Committee on Complexity in Computing, Vice Chair of the IEEE Technical Committee on Autonomous and Autonomic Systems and Chair of IFIP Technical Committee 1 (Foundations of Computer Science) and the IFIP Technical Assembly.
Dynamic and Self-organising Architectures
Prof Jeff Magee
Imperial College,
London, UK
Jeff Magee is a Professor of Computing and is currently both Head of the Department of Computing and Deputy Principal of the Faculty of Engineering at Imperial College. 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 led to the commercial use by Phillips of an Architecture Description language based on Darwin in their current generation of consumer television products. He is the author of over 100 refereed publications and has co-authored a book on concurrent programming entitled "Concurrency - State models and Java programs". He was co- editor of the IEE Proceedings on Software Engineering and a TOSEM Associate Editor. He was program co-chair of the 24th International Conference on Software Engineering and chaired the ICSE Steering Committee from 2002-2004. He was a member-at-large of the ACM SIGSOFT committee from 2002-2005. 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 jointly authored with Professor Kramer on Software Architecture. He is the co-recipient of the 2005 ACM SIGSOFT Outstanding Research Award for his work in Distributed Software Engineering.
Code Analyses for Reengineering, Maintenance and Software Audits
Prof Erhard Ploedereder
University of Stuttgart,
Erhard Ploedereder is presently the dean of the Faculty of Computer Science, Electrical Engineering and Information Technology at the Universität Stuttgart in Germany, where he holds the tenured Chair for Programming Languages and Compilers (since 1992), and heads the Institute of Software Technology.   Much of his language research has been centered around the programming language Ada. He chaired the subgroups of ISO responsible for the standardization and for the maintenance of Ada 95 and the DoD-appointed Distinguished Reviewers for Ada 95. He was President of the Ada-Europe association from 2001 to 2007. He is co-author of three ISO or former US MIL Standards on several computer science subjects. In 2001 the ACM SIGAda Award for Outstanding Ada Community Contributions. Since 1998 he has been a member of WG 2.4. of IFIP, a renowned group of international experts in software implementation technology, and he chaired the group from 2002 to 2008. His research interests are in the general area of programming languages and their environments and mainly focused on improving software reliability as well as mastering the growing complexity of existing software systems. In recent years his group developed the Bauhaus System, a tool set for statically analyzing software, including large industrial systems. He heads a technology transfer center at TTI GmbH for transitioning program analysis tools into the commercial market. A spin-off company started operation in 2007. He earned M.Sc. (‘75) and Ph.D. (‘80) degrees at Harvard University, USA, and a Diploma in Computer Science (‘77) at the TU München, Germany.
Finite automata and stringology in modern software engineering
Prof Bruce Watson
The Netherlands
Bruce Watson is senior manager for (software) technology at ASML --- the company making the nano-lithography machines that make 70% of the world's silicon chips.  His various R&D positions have included compiler-writer at Microsoft, algorithmics guru at Cisco, professor at the University of Pretoria and in Eindhoven, co-founder of Ribbit Software Systems, and chief technical officer at Sagantec. Bruce graduated with an Honours Joint Bachelor of Discrete Mathematics & Computer Science from Waterloo (Canada) and earned his doctorate Taxonomies and Toolkits of Regular Language Algorithms in Computing Science at the Eindhoven University of Technology (Netherlands). His spare time is spent flying aircraft, motorcycling, collecting wine, or with his children.
Design Techniques and Tools for the Development of Distributed Software

Prof Jeff Kramer
Imperial College,
London, UK

Professor Jeff Kramer is Dean of Engineering and Head of Distributed  Software Engineering in the Department of Computing at Imperial College. He was Head of Department from 1999 to 2004. He was a principal investigator in the research projects which led to the development of the Darwin architectural description language which is used by Philips for the software for high end television sets. His current research work is on behaviour analysis,the use of models in requirements elaboration and architectural approaches to self-organising software systems. Jeff Kramer is a Chartered Engineer, Fellow of the IEE and Fellow of the ACM. He is currently associate editor and member of the editorial board of IEEE TSE. He was winner of the Most Influential Paper Award at ICSE 2003, and was awarded the 2005 ACM SIGSOFT Outstanding Research Award for significant and lasting research contributions to Software Engineering. He is co-author of a recent book on Concurrency, co-author of a previous book on Distributed Systems and Computer Networks, and the author of over 150 journal and conference publications.
Architecture-based Software Development of Mobile and Embedded Systems
Prof Nenad Medvidovic
University of Southern California
WUP Co-chair
Nenad Medvidovic is an Associate Professor in the Computer Science Department at the University of Southern California. He is the Director of the USC Center for Systems and Software Engineering (CSSE) and a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine. Nenad's research interests are in the area of architecture-based software development. His work focuses on software architecture modeling and analysis; middleware facilities for architectural implementation; domain-specific architectures; architectural styles; and architecture-level support for software development in highly distributed, mobile, resource constrained, and embedded computing environments. Nenad received his Ph.D. in 1999 from the Department of Information and Computer Science at UC Irvine. He is a recipient of the National Science Foundation CAREER (2000) award, the Okawa Foundation Research Grant (2005), and the IBM Real-Time Innovation Award (2007). Nenad is a co-author of the ICSE 1998 paper titled "Architecture-Based Runtime Software Evolution", which was recently named that conference's Most Influential Paper. His paper "A Classification and Comparison Framework for Software Architecture Description Languages" was recognized by the Elsevier Information and Software Technology Journal as the most cited journal article in software engineering published in 2000.
Unified View on Software Modeling Techniques
Prof Tetsuo Tamai
University of Tokyo,
WUP Co-Chair
Tetsuo Tamai, Dr.S., is Professor at Graduate School of Arts and Sciences, the University of Tokyo. He received the B.S., M.S. and Dr.S. degrees in mathematical engineering from the University of Tokyo. He joined Mitsubishi Research Institute, Inc. in April 1972 and had been the manager of Artificial Intelligence Technologies Section from October 1985 to March 1989. He became Associate Professor of Graduate School of Systems Management, the University of Tsukuba in 1989. He then became Professor of Graduate School of Arts and Sciences, the University of Tokyo in 1994 and has been in that position ever since. His research interests include requirements engineering, high reliability component-based software engineering, collaboration and role modelling, formal analysis of software architectures and software evolution process.
Precise Process Definition
Prof Lee Osterweil
University of Massachusets, USA
Leon J. Osterweil is a professor in the Department of Computer Science, co-director of the Laboratory for Advanced Software Engineering Research (LASER), and founding co-director of the Electronic Enterprise Institute, all at the University of Massachusetts Amherst, where he also served as Interim Dean of the College of Natural Sciences and Mathematics from 2001-02005. Previously he had been a Professor in, and Chair of, Computer Science Departments at both the University of California, Irvine, and the University of Colorado, Boulder. He was the founding director of the Irvine Research Unit in Software (IRUS) and the Southern California SPIN. Professor Osterweil was awarded the ACM SIGSOFT Outstanding Research Award for Lifetime Excellence in Research in 2003. His ICSE 9 paper has been awarded a prize as the most influential paper of ICSE 9, awarded as a 10-year retrospective. Prof. Osterweil is a Fellow of the Association for Computing Machinery. He is a member of the editorial boards of IEEE Transactions on Software Engineering, Automated Software Engineering, the International Journal of Software and Informatics, and Software Process Improvement and Practice. Previously he had been on the editorial board of the ACM Transactions on Software Engineering Methods and IEEE Software. Prof. Osterweil has been the Program Committee Chair for the 16th International Conference on Software Engineering, the Second International Symposium on Software Testing, Analysis and Validation, the Fourth International Software Process Workshop, the Second Symposium on Software Development Environments, and both the Second and Fifth International Conferences on the Software Process. He was also the General Chair of the Sixth ACM Sigsoft Conference on the Foundations of Software Engineering, and the 28th International Conference on Software Engineering (ICSE 2006). He has consulted for such organizations as IBM, Bell Laboratories, SAIC, MCC, and TRW, and SEI's Process Program Advisory Board.
Scalability of Software Systems
Prof David Rosenblum
University College
London, UK
David S. Rosenblum is Professor of Software Systems in the Department of Computer Science at University College London. He is the coordinator of the department's MSc in Software Systems Engineering and is also Director of London Software Systems, a joint initiative of the Software Systems Group at UCL and the Distributed Software Engineering Group at Imperial College London, where he is an Honourary Professorial Research Fellow. Professor Rosenblum's research has addressed a wide range of problems spanning the breadth of the software development life cycle, including software specification, architecture, design, testing, analysis and maintenance, as well as problems underlying the processes that guide large software projects. His current research is focusing on problems in the design and validation of distributed component-based software, with emphases on scaling the publish/subscribe communication style to Internet-scale and on testing component-based software. David received his PhD in 1988 from the Department of Electrical Engineering at Stanford University, and worked at  AT&T Bell Laboratories, the University of California, Irvine and PreCache, a small startup company developing technology in the area of publish/subscribe networking.  In 1997 he received a CAREER Award from the US National Science Foundation for his work on distributed component-based software.
ISS Organiser

Judith Bishop
University of Pretoria
 South Africa
ISS Organiser

Judith Bishop is Professor in Computer Science at the University of Pretoria.  After having contributed to the field of configuration description languages in the 1990s, she now works on the principles of adaptive software in a multi-lingual and mobile environment, in collaboration with Microsoft Research, local companies and collaborators in Germany and Italy. She wrote the first Java textbook to become widely used in 1997 and most recently one of the first C# textbooks in 2004, followed by a book on Design Patterns in C#3.5 in 2008. Professor Bishop is the top NRF rated woman computer scientist in South Africa and has published over 90 journal and conference papers. Her 14 books are available in six languages and read worldwide. Judith graduated with a BSc Hons in 1972 from Rhodes University. In 1974 she received her Masters degree cum laude from the University of Natal and completed her PhD in 1977 at the University of Southampton in the United Kingdom. She is a Fellow of the British Computer Society, Founding Fellow of the South African Institute of Computer Scientists and was awarded the prestigious IFIP Silver Core Medal for her services to the worldwide Information Technology community. She is an NRF B-rated scientist. In recognition of her achievements, in 2005 Judith received the Department of Science and Technology award for Distinguished Woman Scientist of the Year for Innovation and was made an Outstanding Academic Achiever by the University of Pretoria for the period 2006-2008. In 2006, she was Elected a Fellow of the Royal Society of South Africa. In 2008, she was nominated as a UP Leading Mind in the university's Centenary Year.