Benjamin Morandi

ETH Zurich
Benjamin Morandi
Chair of Software Engineering
RZ J9
Clausiusstrasse 59
8092 Zurich
Switzerland

E-mail: benjamin.morandi@inf.ethz.ch
Phone: +41 44 632 78 28
Fax: +41 44 632 14 35

Introduction

I am a research assistant under the supervision of Prof. Bertrand Meyer at the Chair of Software Engineering, ETH Zurich.

My main research area is software engineering, especially concurrent and distributed programming. In particular, I am working on the SCOOP project.

Benjamin Morandi, Sebastian Nanz, and Bertrand Meyer: A formal reference for SCOOP . Empirical Software Engineering and Verification, Lecture Notes in Computer Science, 7007:89-157, Springer [paper pdf]

Benjamin Morandi, Sebastian Nanz, and Bertrand Meyer: A comprehensive operational semantics of the SCOOP programming model . Technical report on arXiv.org [paper pdf]

Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, and Bertrand Meyer: Deriving Concurrent Control Software from Behavioral Specifications . IEEE/RSJ International Conference on Intelligent Robots and Systems [paper pdf] [slides pdf pptx]
Benjamin Morandi, Sebastian S. Bauer, and Bertrand Meyer: SCOOP - A contract-based concurrent object-oriented programming model . Advanced Lectures on Software Engineering, Lecture Notes in Computer Science, 6029:41-90, Springer [paper pdf]

Spring 2012: teaching assisting for Concepts of Concurrent Computation ( Prof. Bertrand Meyer, Dr. Sebastian Nanz )
Spring 2011: teaching assisting for Software Engineering Laboratory: Open-Source EiffelStudio ( Prof. Bertrand Meyer )
Spring 2011: teaching assisting for Concepts of Concurrent Computation ( Prof. Bertrand Meyer, Dr. Sebastian Nanz )
Fall 2010: teaching assisting for Research in Computer Science II ( Prof. Bertrand Meyer )
Fall 2010: teaching assisting for Software Engineering Laboratory: Open-Source EiffelStudio ( Prof. Bertrand Meyer )
Spring 2010: teaching assisting for Concepts of Concurrent Computation ( Prof. Bertrand Meyer, Dr. Sebastian Nanz )
Fall 2009: teaching assistant for Introduction to Programming ( Prof. Bertrand Meyer )
Spring 2009: teaching assistant for Software Engineering Laboratory: Open-Source EiffelStudio ( Prof. Bertrand Meyer )
Spring 2009: head assistant for Concurrent Object-Oriented Programming ( Prof. Bertrand Meyer )
Fall 2008: teaching assistant Introduction to Programming ( Prof. Bertrand Meyer )