Hagen Völzer  Hagen Völzer photo         

contact information

Services Research, BPM Research
IBM Research - Zurich, Switzerland


Professional Associations

Professional Associations:  ACM

more information

More information:  Cognitive IT Services Research


I am computer science researcher with a current research focus in business and IT process analysis and automation. I am interested in all aspects of process and system monitoring, -analysis, -improvement, and -management. Related topics are consistency-, configuration- and change management. I have contributed to and co- authored the OMG standard BPMN 2.0. Other topics I have worked on in the past include formal methods (Petri nets, model checking, models of concurrency), systems engineering (configuration and change management, verification and validation, specification of components), and distributed systems (fault tolerance, consensus, self-stabilization, distributed algorithms, randomization).

For more information, see current and recent projects (to the right) and selected publications and talks (in the next tab).

Some of my previous IBM external roles: