This website is about the 2012 edition of the school. Visit this year's edition of LASER.
Access lecture slides Party Dinner pictures Speaker pictures School pictures
LASER Logo
Hotel del Golfo

9th LASER Summer School on Software Engineering

Innovative Languages for
Software Engineering

September 2-8, 2012 - 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

Andrei Alexandrescu: C++ and D
Roberto Ierusalimschy: Lua
Ivar Jacobson: UML and Essence
Erik Meijer: C# and LINQ
Bertrand Meyer: Eiffel
Martin Odersky: Scala
Simon Peyton-Jones: Haskell
Guido van Rossum: Python

Speakers

The 2012 LASER school brings together some of the best experts in the field:

  • Andrei Alexandrescu, Facebook

    Andrei Alexandrescu is a researcher, software engineer, and author. He wrote three best-selling books on programming (Modern C++ Design, C++ Coding Standards, and The D Programming Language) and numerous articles and papers on wide-ranging topics from programming to language design to Machine Learning to Natural Language Processing. Andrei holds a PhD in Computer Science from the University of Washington and a BS in Electrical Engineering from University "Politehnica" Bucharest. He works as a Research Scientist for Facebook.

  • Roberto Ierusalimschy, PUC Rio

    Roberto Ierusalimschy is an associate professor of informatics at PUC-Rio (Pontifical University in Rio de Janeiro). He is the leading architect of the Lua programming language and the author of Programming in Lua. He is also responsible for introducing Parsing Expression Grammars as a formalism over ad-hoc regular expression structures.

  • Ivar Jacobson, Ivar Jacobson International

    Dr. Ivar Jacobson is a father of components and component architecture, use cases, the Unified Modeling Language and the Rational Unified Process. He has contributed to modern business modeling and aspect-oriented software development. However, all this is history. Lately he has been working on how to deal with methods and tools in a super-light and agile way. He has developed a practice concept that is now being adopted by both developers and tool vendors. Now he is one of the leaders of a worldwide network Semat, which has agreed to revolutionize software development.

  • Erik Meijer, Microsoft Research

    Erik Meijer is an accomplished programming-language designer who has worked on a wide range of languages, including Haskell, Mondrian, X#, C?, C#, and Visual Basic. He runs the Cloud Programmability Team at Microsoft, where his primary focus has been to remove the impedance mismatch between databases and programming languages. One of the fruits of these efforts is LINQ, which not only adds a native querying syntax to .NET languages, such as C# and Visual Basic, but also allows developers to query data sources other than tables, such as objects or XML. Most recently, Erik has been working on democratizing the Cloud using Volta and preaching the virtues of fundamentalist functional programming in the new age of concurrency and many-core.

  • 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.

  • Martin Odersky, EPF Lausanne

    Martin Odersky is a German computer scientist and professor of programming methods at the EPFL. He specialises in code analysis and programming languages. In 1989 Odersky received his Ph.D. from the ETH Zurich. He designed the Scala programming language and Generic Java, and built the current generation of javac, the Java compiler. In 2007 he was inducted as a Fellow of the Association for Computing Machinery.

  • Simon Peyton-Jones, Microsoft Research

    Simon Peyton Jones, MA, MBCS, CEng, graduated from Trinity College Cambridge in 1980. After two years in industry, he spent seven years as a lecturer at University College London, and nine years as a professor at Glasgow University, before moving to Microsoft Research (Cambridge) in 1998.
    His main research interest is in functional programming languages, their implementation, and their application. He has led a succession of research projects focused around the design and implementation of production-quality functional-language systems for both uniprocessors and parallel machines. He was a key contributor to the design of the now-standard functional language Haskell, and is the lead designer of the widely-used Glasgow Haskell Compiler (GHC). He has written two textbooks about the implementation of functional languages.
    More generally, he is interested in language design, rich type systems, software component architectures, compiler technology, code generation, runtime systems, virtual machines, and garbage collection. He is particularly motivated by direct use of principled theory to practical language design and implementation -- that's one reason he loves functional programming so much.

  • Guido van Rossum, Google

    Guido van Rossum is the creator of Python, one of the most successful dynamic programming languages. After more than 20 years he still plays an important role in its community as the BDFL and arbiter of good taste in language design. He works at Google in the App Engine team, working on Python tools and libraries for App Engine.


Chair of Software Engineering - ETH Zurich Last update: 27.08.2012