I am a working in the Business Integration Technologies group at IBM Research - Zurich, supervised by Dr. Hagen Völzer. I am an external PhD student at the Chair of Programming Methodology held by Prof. Peter Müller at ETH, the Swiss Federal Institute of Technology in Zürich.
The goal of my PhD thesis is to developp a static analysis technique and a tool allowing a user to detect, locate, understand, and repair control- and data-flow errors in a business process model. The technique must be efficient enough to be applicable during the design of the process. Moreover, the technique must provide adequate diagnostic information for users that are not verification experts.