Assistant Professor of Programming Methods for Reliable Distributed Software (Technical University of Darmstadt )