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

• Sandra Weber - Automatic Version Control System for Distributed Software Development - Master Thesis - March - September 2012.

• Brian Bullins - Awareness in CloudStudio - Semester Project - May - July 2012.

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

• Rand Nezha and Mert Tufek�i - Collaborative debugging - Master Thesis Politecnico di Milano, Italy - December 2011 - June 2012.

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

• Denis Cutic - Integrating Code Reviews into CloudStudio - Semester Thesis Politecnico di Milano, Italy - December 2011 - June 2012.

Previously

See here.

Events

Currently

• LASER Summer School 2012 on Software Engineering, September 2 - 8 2012, in Elba, Italy. Organizer

Previously

See here.