IBM Research - Zurich
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).
Algorithms and Theory Knowledge Discovery and Data Mining Programming Languages & Software Engineering Services Science and Engineering