Martin Nordio

Introduction

I am a researcher at the Chair of Software Engineering at ETH Zurich, Switzerland. I successfully defended my Ph.D. thesis at ETH Zurich on October 2009, which was supervised by Prof. Bertrand Meyer and Prof. Peter Müller.

Research

My areas of research are Program Verification, Trusted Components, and Compilers. My PhD thesis has developed proofs and proof transforming compilation for object-oriented programs. I am also interested in outsourcing and distributed software engineering.

Publications

See here.

Teaching

Currently

• Lecturer for Distributed and Outsourced Software Engineering: Fall Semester 2011.

Previously

• Lecturer for Software Architecture: Spring Semester 2010.

• Software Architecture: Spring Semester 2010, Spring Semester 2008, Spring Semester 2007, Summer Semester 2006.

• Distributed and Outsourced Software Engineering: Fall Semester 2010, Fall Semester 2009 , Fall Semester 2008 .

• Software Engineering Seminar: Spring Semester 2010.

• Software engineering for outsourced and offshore development: Fall Semester 2007, Winter Semester 2006-2007, Winter Semester 2005-2006.

• Software Engineering: Summer Semester 2006.

• Specification and Verification of Object-Oriented Software: Winter Semester 2005-2006.

• Several courses at University of Rio Cuarto, Argentina. 2002-2005

Student Supervision

Currently

• Anton Bannykh - Designing and implementing an intermediate verification language - Master Thesis at ITMO, State University in Saint Petersburg - Russia, November 2011 - November 2012.

• Johannes Schneider - Successful outsourcing: Necessary conditions and best practices - Master Thesis at MTEC (ETH), October 2011 - December 2011.

• Christopher Dentel - Code ownership and change awareness - Software Engineering Laboratory - September - December 2011 and Semester Thesis - September - December 2011.

• Marcel Bertsch - A web-based IDE for Java - Software Engineering Laboratory - September - December 2011.

• Roland Meyer - Revision control support for a web-based IDE - Software Engineering Laboratory - September - December 2011.

• Dominic Meier - Command line tools for for a web-based IDE - Software Engineering Laboratory - September - December 2011.

• David Schaerer - Autocompletion for a Web-IDE - Bachelor thesis - September - December 2011.

Previously

• Alexandru Dima - Developing JavaScript applications in Eiffel - Master Thesis - December 2010 - May 2011.

• Tang Mei - Proof transforming compilation for Separation logic - Master Thesis at Wuhan University - China, December 2009 - June 2010.

• Le Minh Duc - An integrated development environment (IDE) for Distributed Software Engineering - Engineer Thesis at Hanoi University of Technology - Vietnam, December 2009 - April 2010.

• Do Le Minh - Integrating an Automatic Version Control System into EiffelStudio - Engineer Thesis at Hanoi University of Technology - Vietnam, December 2009 - April 2010.

• Alexandru Dima and Alejandro Garcia - An Automatic Version Control System for an IDE on the Cloud - project in the Java and C# in Depth course - 2010.

• David Sidler and Thomas Etter - A CloudStudio project - project in the Java and C# in Depth course - 2010.

• Sun Hao, Martin Luder and Kang Biu CHEUNG - A CloudStudio project - project in the Java and C# in Depth course - 2010.

• Cleonela Serban, Soha Sultan and Michel Baeriswyl - A CloudStudio project - project in the Java and C# in Depth course - 2010.

• Julian Tschannen - Automatic Verification of Eiffel Programs - Master Thesis October 2008 - April 2009.

• Bruno Hauser - Embedding Proof-Carrying Components into Isabelle - Master Thesis September 2008 - March 2009.

• Manuel Hess - Integrating Proof-Transforming Compilation into EiffelStudio - Master Thesis February - August 2008.

• Hasan Karahan - Proof-Transforming Compilation of Eiffel Contracts - Diploma Thesis January - May 2008.

• Michel Guex - Implementing a Proof-Transforming Compiler from Eiffel to CIL - Semesterarbeit WS 2006.

Events

I have organized five LASER Summer Schools, four SEAFOOD conferences, and one APV symposium.

Currently

• LASER Summer School 2011 on Software Engineering, September 4 - 10, 2011, in Elba, Italy. Organizer

Previously

• LASER Summer School 2010 on Software Engineering, September 5 - 11, 2010, in Elba, Italy. Organizer

• SEAFOOD 2010 Fourth International Conference on Software Engineering Approaches For Offshore and Outsourced Development at ETH Zurich, 17-18 June 2010, Peterhof (Saint Petersburg), Russia . Conference Chair

• LASER Summer School 2009 on Software Engineering, September 6 - 12, 2009, in Elba, Italy. Organizer

• SEAFOOD 2009 Third International Conference on Software Engineering Approaches For Offshore and Outsourced Development at ETH Zurich, July 2-3 2009 . Organizer

• APV 2009 Symposium on Automatic Program Verification, Argentina, February 14-15, 2009. Organization Chair.

• LASER Summer School 2008 on Software Engineering, September 7 - 13, 2008, in Elba, Italy. Organizer

• SEAFOOD 2008 Second International Conference on Software Engineering Approaches For Offshore and Outsourced Development at ETH Zurich, July 3-4 2008 . Organizer

• LASER summer school on Software Engineering, September 9-15, 2007, in Elba, Italy. Organizer Theme for 2007: Applied Software Verification, as part of Tony Hoare's "Grand Challenge" on software verification.

• SEAFOOD 2007 First International Conference on Software Engineering Approaches For Offshore and Outsourced Development at ETH Zurich, 5-6 February 2007. Organizer