Peter Kemper joins CS from Universitat Dortmund, Germany, where he did research in the formal modeling of systems.
Peter Kemper holds a diploma degree in computer science (Dipl.-Inform., 1992) and a doctor al degree (Dr.rer.nat, 1996), both from Universitaet Dortmund, Germany. His main interests are in the quantitative evaluation of systems and formal aspects of software engineering. In addition to developing modelling techniques and tools for performance and dependability assessment of computer and communication systems, he also work s on model-based evaluation of manufacturing systems and logistic networks. He has contributed to several tools for functional and quantitative analysis of discrete event systems, including the QPN tool, the APNN toolbox, the ProC/B toolset, and Traviando, a recently developed trace analyzer to debug simulation models.