Benjamin Morandi
Address
ETH ZurichBenjamin Morandi
Chair of Software Engineering
RZ J9
Clausiusstrasse 59
8092 Zurich
Switzerland
Introduction
I am a research assistant under the supervision of Prof. Bertrand Meyer at the Chair of Software Engineering, ETH Zurich.
Research
My main research area is software engineering, especially concurrent and distributed programming. In particular, I am working on the SCOOP project.
Publications
2012
- 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]
2011
- Benjamin Morandi, Sebastian Nanz, and Bertrand Meyer: A comprehensive operational semantics of the SCOOP programming model . Technical report on arXiv.org [paper pdf]
2010
- 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]
Teaching
- 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 )
Supervised projects
- An executable structural operational semantics for SCOOP
- A Mac OS X EiffelVision port based on a generated Cocoa wrapper
- Objective-C Frameworks to Eiffel Converter
- Reproducible executions of SCOOP programs
- Profiling SCOOP Programs
- Implementation of Advanced SCOOP Aspects
- Application of SCOOP in Robotic Control
- Integrating SCOOP into EVE
- EiffelVision for Mac OS X