Peter Kemper Associate Professor Department of Computer Science College of William and Mary P.O. Box 8795 Williamsburg, VA 23187-8795 McGlothlin-Street Hall, #006 Phone: 757-221-3462 Fax: 757-221-1717 Email: kemper at cs.wm.edu

Research Interests

Modeling, Techniques and Tools for Simulation and Optimization of Discrete Event Systems, Stochastic Models for Performance and Dependability Analysis, Qualitative and Quantitative Analysis of Systems

Teaching

• CS780, Discrete State Models (Spring 2008)
  
• CS616, Stochastic Models in Computer Science (Fall 2007)
• CS301, Software Development (Fall 2007, Fall 2006)
• CS780, Debugging Simulation Models (Spring 2007)
  

Recent activities in Conferences & Workshops

• SC Member: Steering Committee of QEST, Quantitative Evaluation of Systems, starting September 2006.
• PC Member: Quantitative Evaluation of Systems,
  
• QEST 2005, September 19-22, Torino, Italy,
  
• QEST 2006, September 11-14, Riverside, California, USA
  
• QEST 2007, September 16-19,  Edinburgh, Scotland, UK 
• PC Member:Dependable Systems and Networks
• DSN 2007, June 25-28, Edinburgh, Scotland, UK
• DSN 2008, June, Anchorage, Alaska
• PC Member: A.A. Markov Anniversary Meeting, June 12-14, 2006 in Charleston, South Carolina, USA NSMC 2006  
• PC Member: Application and Theory of Petri Nets
• ATPN 2007, June 25-29,  Siedlce, Poland 
• ATPN 2008, June 23-27,  Xian, China 
• PC Member: Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen,
  
• MMB 2006, March 27-29, Nuernberg, Germany  
  
• PC Member: Simulation and Visualization,
  
• SimVis 2005, March 3-4,  Magdeburg, Germany
  
• SimVis 2006, March 2-3,  Magdeburg, Germany 
• SimVis 2007, March 8-9,  Magdeburg, Germany 
• PC Member: Workshop on Petri Net Tools and Applications, associated with SIMUTools, March 3, 2008, in Marseille, France, PNTAP 2008

Projects

• Traviando: Trace Analysis of Discrete Event Systems
• Stochastic Models of Signaling Complexes
• Networks of Weighted Automata

• 1998, DAAD-funded bilateral Vigoni Project in cooperation with S. Donatelli, Universita di Torino, Italy, on "Modelling and analysis of complex systems with hierarchical Petri nets"
• 1998-2006, DfG-funded Sonderforschungsbereich 559, "Modelling of large logistics networks", Project M2, "Efficient Analysis techniques" in cooperation with P. Buchholz, Universitaet Dortmund, Germany
• 2003-2005, DAAD/NSF-funded bilateral Project in cooperation with W. H. Sanders, University of Illinois at Urbana Champaign, on "On the Analysis of Multi-Paradigm Models of Mobius with Techniques Based on Kronecker Representation"
• 2004-2006, Research group, Holistic Modeling of Discrete Event Systems, funded by DoMuS, Universitaet Dortmund, Germany

Publications