This website is about the 2014 edition of the school. Visit this year's edition of LASER.
Access lecture material School pictures

11th LASER Summer School on Software Engineering

Leading-Edge Software Engineering

September 7-13, 2014 - Elba Island, Italy

Read the proceedings of previous LASER schools
LASER proceedings 2013/2014 LASER proceedings 2011 LASER proceedings 2008-2010 LASER proceedings 2007/2008

Harald C. Gall (University of Zurich)
Daniel Jackson (MIT)
Michael Jackson (The Open University)
Erik Meijer (Applied Duality)
Bertrand Meyer (ETH Zurich)
Gail C. Murphy (University of British Columbia)
Moshe Y. Vardi (Rice University)


  • Harald C. Gall, University of Zurich

    Harald C. Gall is a professor of software engineering in the Department of Informatics at the University of Zurich, Switzerland. His research interests include software engineering and software analysis, focusing on software evolution, software quality, empirical studies, and collaborative software engineering.

    He is probably best known for his work on software evolution analysis and mining software archives. Since 1997 he has worked on devising ways in which mining these repositories can help to better understand software development, to devise predictions about quality attributes, and to exploit this knowledge in software analysis tools such as Evolizer, ChangeDistiller, or SOFAS.

    In 2005, he was the program chair of ESEC-FSE, the joint meeting of the European Software Engineering Conference (ESEC), and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). In 2006 and 2007 he co-chaired MSR, the International Workshop and now Working Conference on Mining Software Repositories, the major forum for software evolution analysis. He was program co-chair of ICSE 2011, the International Conference on Software Engineering, held in Hawaii. Since 2010 he is an Associate Editor of IEEE Transactions on Software Engineering.

  • Daniel Jackson, MIT

    Daniel Jackson is Professor of Computer Science and a MacVicar Teaching Fellow at the Massachusetts Institute of Technology. He led the development of Alloy ( and is the author of "Software Abstractions: Logic, Language, and Analysis" (MIT Press, 2006). He was chair of a National Academies study entitled "Software for Dependable Systems: Sufficient Evidence?" in 2007, and more recently a member of the study on unintended acceleration. He has broad interests in many areas of software engineering, especially in software design, critical systems and formal methods.

  • Michael Jackson, The Open University

    Michael Jackson is a Visiting Research Professor at the Open University. He has been active in software development since the early 1960s, when he worked as a programmer, analyst and consultant before starting his own company in 1971. He developed the method of program design, based on stream structures, that was later adopted as a UK government standard, and a related method for the analysis and design of information systems, based on the analysis of life histories of application world entities.

    In the late 1980s he began a 12-year collaboration with Pamela Zave at Bell Telephone Laboratories, studying call processing features in telecommunication systems and the associated problems of feature interaction. This work resulted in the Distributed Feature Composition (DFC) model, which has been used in AT&T VoIP products and is the subject of several patents.

    From the 1990s his methodological work has broadened to requirements engineering and the relationship of problem and solution structures. He was among the founders of the IFIP Requirements Engineering working group, and developed the Problem Frames approach to system requirements and software specifications. He participated in the EU DIRC and Deploy projects, working with both academic researchers and industrial practitioners.

    He has described his work in several books and many published papers, and received several awards for his contributions to software engineering research. He is a Fellow of the Royal Academy of Engineering.

  • Erik Meijer, Applied Duality

  • Bertrand Meyer, ETH Zürich and Eiffel Software (director)

    Bertrand Meyer is Professor of Software Engineering at ETH Zürich and Chief Architect of Eiffel Software. His current research interests include object technology, proofs and tests of classes, object-oriented concurrency.

  • Gail C. Murphy, University of British Columbia

    Gail Murphy is a Professor in the Department of Computer Science and an Associate Dean (Research & Graduate Studies) in the Faculty of Science at the University of British Columbia. She is also a co-founder and currently Chief Science Offer at Tasktop Technologies. She received a B.Sc. from the University of Alberta and M.Sc. and Ph.D. degrees from the University of Washington. Her current research interests are in reducing the information overload and improving the work days of knowledge workers, including software developers.

  • Moshe Y. Vardi, Rice University

    Moshe Y. Vardi is the George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology Institute at Rice University. He is the co-recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award, the EATCS Distinguished Achievements Award, and the Southeastern Universities Research Association's Distinguished Scientist Award. He is the author and co-author of over 400 papers, as well as two books: "Reasoning about Knowledge" and "Finite Model Theory and Its Applications". He is a Fellow of the Association for Computing Machinery, the American Association for Artificial Intelligence, the American Association for the Advancement of Science, and the Institute for Electrical and Electronic Engineers. He is a member of the US National Academy of Engineering, the American Academy of Arts and Science, the European Academy of Science, and Academia Europea. He holds honorary doctorates from the Saarland University in Germany and Orleans University in France. He is the Editor-in-Chief of the Communications of the ACM.

  • Judith Bishop, Microsoft Research

    Judith Bishop is director of Computer Science at Microsoft Research. Her role is to create strong links between Microsoft’s research groups and universities globally, through encouraging projects, supporting conferences, and engaging directly in research. Her expertise is in programming languages and distributed systems, with a strong practical bias and an interest in compilers and design patterns. She initiated the Software Engineering Innovation Foundation (SEIF), which encourages and supports academics worldwide to engage with Microsoft Research. Her current projects are TouchDevelop and Code Hunt, and she worked previously on TryF#. She received her PhD from the University of Southampton and was a professor in South Africa for many years, with visiting positions in the United Kingdom, Germany, Canada, Italy, and the United States. She was general co-chair of ICSE 2010, PC co-chair of TOOLS 2011, and Co-chair of several of Microsoft Research’s Summits and serves frequently on editorial, program, and award committees. She has written 16 books, which have been translated into six languages. Her awards include the IFIP Silver Core and Outstanding Service Award (2006) and the South African Department of Trade and Industry Distinguished Woman of the Year (2005).

Chair of Software Engineering - ETH Zurich