Martin Nordio

Picture of Martin Nordio

Address

Martin Nordio
Software Engineering
Clausiusstrasse 59
RZ J3
8092 Zurich

Contact

E-mail: martin.nordio@inf.ethz.ch
Phone: +41 44 632 02 97
Fax: +41 44 632 14 35

Student Supervision

Master's Theses

  1. Marc Egg - The impact of requirements in distributed software development: an empirical study - Master's Thesis at ETH Zurich - December 1st, 2014 - June 1st, 2015

  2. Fabian Gremper - Real-time Conflict Awareness for Distributed Version Control Systems - Master's Thesis at ETH Zurich - November 2014 - April 2015

  3. Rand Nezha and Mert Tufekci - Extending CloudStudio with a collaborative remote debugger - Master's Thesis at Politecnico di Milano, Italy - January 2011 - December 2012.

  4. Sandra Weber - Automatic Version Control System for Distributed Software Development - Master's Thesis at ETH Zurich, March - September 2012.

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

  6. Alexandru Dima - Developing JavaScript applications in Eiffel - Master's Thesis at ETH Zurich, December 2010 - May 2011.

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

  8. Julian Tschannen - Automatic Verification of Eiffel Programs - Master's Thesis at ETH Zurich, October 2008 - April 2009.

  9. Bruno Hauser - Embedding Proof-Carrying Components into Isabelle - Master's Thesis at ETH Zurich, September 2008 - March 2009.

  10. Manuel Hess - Integrating Proof-Transforming Compilation into EiffelStudio - Master's Thesis at ETH Zurich, February - August 2008.

  11. Hasan Karahan - Proof-Transforming Compilation of Eiffel Contracts - Diploma's Thesis January - May 2008.

Bachelor’s Students and other projects

  1. Manav Kedia - Mantra: Eiffel as a web service - Internship at ETH Zurich, July 2014

  2. Christopher Dentel - Refinements and Git Integration with Notifications and Monitoring - Software Engineering Laboratory at ETH Zurich, November 2012

  3. Christopher Dentel - Monitors: Keeping Informed on Code Changes - Independent Research Study at ETH Zurich, November 2012

  4. Brian Bullins - Awareness in CloudStudio - Internship at ETH Zurich, May - July 2012.

  5. Christopher Dentel - News and Notification: Propagating Relevant Changes to Developers - Software Engineering Laboratory at ETH Zurich, February 2012

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

  7. Marcel Bertsch - A web-based IDE for Java - Software Engineering Laboratory at ETH Zurich, September - December 2011.

  8. Roland Meyer - Revision control support for a web-based IDE - Software Engineering Laboratory at ETH Zurich, September - December 2011.

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

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

  11. 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 at ETH Zurich, 2010.

  12. David Sidler and Thomas Etter - A CloudStudio project - project in the Java and C# in Depth course at ETH Zurich, 2010.

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

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

  15. Michel Guex - Implementing a Proof-Transforming Compiler from Eiffel to CIL - Semesterarbeit at ETH Zurich, WS 2006.

Events

Event organizer

PC chair and conference chair

PC member

Others

Valid XHTML 1.0 Strict