|
|
Martin Nordio
|
Mailing address
Martin Nordio
Software Engineering,
ETH Zentrum, RZ J3
8092 Zurich |
Physical address
Martin Nordio
Department of Computer Science
RZ Building, RZ J3
Clausiusstrasse 59
8092 Zurich |
Contact
Martin Nordio
Phone: +41 (0)44 632 02 97
Fax: +41 (0)44 632 14 35
E-mail: martin.nordio AT inf.ethz.ch
|
 Overview |
|
I am a researcher at the Chair of Software Engineering at ETH Zurich, Switzerland. I succesfully defended my Ph.D. thesis at ETH Zurich on October 2009, which was supervised by Prof. Bertrand Meyer and Prof. Peter Müller.
|
| Areas of research |
|
My areas of research are Trusted Components, Proof-Carrying Code, Compilers and Program Verification. My PhD thesis has developed proofs and proof transforming compilation for object-oriented programs. I am also interested in outsourcing and distributed software engineering.
|
| Teaching Assistance |
| Previously (in Argentina): |
Advanced Programming. March to July 2005. |
|
Data Structure and Algorithmic I. August to December 2004. |
|
Introduction to Algorithmic. Mach to August 2004 |
|
Comparative Analysis of Languages. August to December 2003. |
|
Simulation. February 2003 to July 2003. |
|
Artificial Intelligence. August 2002 to February 2003. |
|
| Publications |
|
2009
-
Kay Berkling, Mathai Joseph, Bertrand Meyer and Martin Nordio:
Software Engineering Approaches For Outsourced and Offshore Development (SEAFOOD)
revised papers, Lecture Notes in Business Information Processing 16, Springer-Verlag, May 2009 .
Springer-Online
-
Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto and Giordano Tamburelli:
The Role of Contracts in Distributed Development
in Proceedings of SEAFOOD 2009 (Software Engineering Advances For Offshore and Outsourced Development).
2009.
[PDF]
[BIB]
Springer-Online
|
|
2008
|
|
|
-
Martin Nordio, Peter Müller and Bertrand Meyer:
Formalizing Proof-Transforming Compilation of Eiffel Programs
Technical Report, ETH Zurich, 2008.
[PDF]
[BIB]
Isabelle formalization
|
|
2007
|
|
|
|
|
|
2004
|
-
Martin Nordio,
Francisco Bavera,
Ricardo Medel,
Jorge Aguirre,
Gabriel Baum,
A Framework for Execution of Secure Mobile Code based on Static Analysis ,
XXIV International Conference of the Chilean Computer Science Society,
pp. 56-66, Universidad de Tarapaca, Arica (Chile), 8-12 November, 2004. IEEE-CS PRESS 2004
|
| Student Supervision |
|
| Events |
| Currently: |
|
SEAFOOD 2010 Fourth International Conference on Software
Engineering Approaches For Offshore and Outsourced Development at ETH Zurich, 17-18 June 2010 . Conference Chair
|
| Previously: |
|
LASER Summer School 2009 on Software Engineering, September 6 - 12, 2009, in Elba, Italy. Orzanizer
Theme for 2009: Software Testing: The Practice And The Science;
Speakers: Alberto Avritzer (Siemens);
Michel Cukier (University of Maryland); Yuri Gurevich (Microsoft Research);
Mark Harman (King's College London);
Bertrand Meyer (ETH Zurich, co-director);
Tom Ostrand (AT&T); Mauro Pezze (University of Lugano);
Elaine Weyuker (AT&T, co-director).
|
|
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. Orzanizer
Theme for 2008: Concurrency and Correctness;
Speakers: Tryggve Fossum (Intel);
Maurice Herlihy (Brown University); Tony Hoare (Microsoft Research);
Bertrand Meyer (ETH Zurich, director);
Robin Milner (Cambridge University);
Peter O'Hearn (Queen Mary University of London); Daniel A. Reed (Microsoft Research and UNC Chapel Hill).
|
|
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
|
|
| Personal |
|
I am from Rio Cuarto, Argentina.
Education:
|
|
