Before coming to ETH in 2009, I worked in the Language-Based Technology Group at the Technical University of Denmark (DTU) in Copenhagen, and in the Security Group of Microsoft Research Cambridge. I did my PhD at Imperial College London.
Rosetta Code is a popular repository of example programs written in many different programming languages. Rosetta Code is also a great resource to compare programming languages and analyze their properties. Read our paper A Comparative Study of Programming Languages in Rosetta Code, and join the discussion, for example on Slashdot.
Watch a short video where you can meet the team and learn about the goals of Concurrency Made Easy, our ERC Advanced Grant on concurrent programming:
Please consider submitting your work to the following upcoming conferences.
Edgar G. Daylight, Sebastian Nanz (Eds.). The Future of Software Engineering: Panel Discussions. Lonely Scholar, 2011.
Speaking about the field of software engineering in general terms is difficult, as is revealed in these panel discussions from the Future of Software Engineering Symposium. Top researchers debate whether any real progress has been made during the past decades and how to distinguish between good and bad software. The relationship with other disciplines, such as mechanical engineering and civil engineering, is heavily discussed. Panel I allows the reader to compare and contrast dominant voices in software engineering; it serves as an aid for lecturers in explaining to engineering students how to see the wood for the trees in the complicated field of software engineering.
Panel II addresses specific topics in software engineering, such as concurrency, program verification, and the contradistinction between software today versus how it should be in the future. Is it possible to increase the level of abstraction without paying a price in program performance? What is the difference between engineering verification and real verification? What is the role of program specifications in today's development practice? Answers to these questions are presented in Panel II.
Panelists: Barry Boehm, Manfred Broy, Erich Gamma, Michael A. Jackson, David L. Parnas, Niklaus Wirth, and Pamela Zave (Panel I). Yuri Gurevich, Rustan Leino, Bertrand Meyer, Andreas Zeller, and Patrick Cousot (Panel II).
More information on the book:
Sebastian Nanz (Ed.). The Future of Software Engineering. Springer, 2011.
This book focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. It features a collection of articles by some of the most prominent researchers and technologists who have shaped the field: Barry Boehm, Manfred Broy, Patrick Cousot, Erich Gamma, Yuri Gurevich, Tony Hoare, Michael A. Jackson, Rustan Leino, David L. Parnas, Dieter Rombach, Joseph Sifakis, Niklaus Wirth, Pamela Zave, and Andreas Zeller. The contributed articles reflect the authors' individual views on what constitutes the most important issues facing software development. Both research- and technology-oriented contributions are included.
More information on the book:
More information on related events: