Cédric Favre  Cédric Favre photo       

contact information

PhD student
IBM Research - Zurich



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.

Here is a list of my publications and talks related to my PhD. Here is my CV for more details.