Martin Nordio

Introduction

I am a lecturer and researcher at the Chair of Software Engineering at ETH Zurich, Switzerland. I have a Ph.D. in computer science from ETH Zurich. My areas of research are software verification and distributed software engineering. Together with Bertrand Meyer, I founded DOSE: a university network to teach software engineering in a distributed setting. Contact me if you are interested to join DOSE!

Research interests

Here is a list of some of my research projects:

• CloudStudio: distributed development in the cloud. Try CloudStudio online.

• Javanni: a verifier for JavaScript. Try Javanni online.

• AutoProof: a program verifier for Eiffel. Try AutoProof online.

• AutoFix: automated program repair.

• DOSE: a university network to teach software engineering in a distributed setting.

• AutoOO: a fully automatic C to Object-Oriented translator.

Publications

See here.

Software

Christian Estler and I have developed CodeBoard: a tool for sharing code and programming on the web. The tool supports several languages (Java, Haskell, Eiffel, C, C++), and makes easy to share code, as well as creating puzzles and teaching assignments. CodeBoard can be integrated in MOOCs (in EdX, coursera, etc), and used to grade programming assignments. Try it out and solve this Java puzzle!

Teaching

Currently

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

Previously

Lecturer

• Distributed and Outsourced Software Engineering: Fall Semester 2014 Fall Semester 2013, Fall Semester 2012, Fall Semester 2011.

• Research Topics in Software Engineering: Spring Semester 2013.

• Software Architecture: Spring Semester 2011.

Teaching assistant

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

• Teaching assistant for several courses at University of Rio Cuarto, Argentina. 2002-2005

Student Supervision

See here.

Events

See here.