You should be redirected automatically within 5 seconds. Should this fail for some reason, please manually go to my new home page.

Lehr- und Forschungsgebiet Informatik II

Department of Computer Science

Peter Schneider-Kamp

Lehr- und Forschungsgebiet Informatik II RWTH Aachen D-52056 Aachen Germany E-mail: psk@informatik.rwth-aachen.de Phone: +49-241/80-21211 Fax: +49-241/80-22217 Room: 4208, Ahornstr. 55 home page: http://www.schneider-kamp.de

Research

I am a research assistant and PhD student at Lehr- und Forschungsgebiet Informatik II. My fields of interest are:

• Termination of term rewriting (AProVE tool)
• Verification of processes and protocols

Teaching Activities (Lehr- und Forschungsgebiet Informatik II)

• Vorlesung Functional Programming (SS 05)
• Seminar Verifikationsverfahren (SS 05)
• Proseminar Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog (SS 05)
• Seminar Termersetzungssysteme - Aktuelle Themen und Erweiterungen (SS 04)
• Proseminar IT-Sicherheitskonzepte und Sicherheit in Java (SS 04)
• Vorlesung Informatik I - Programmierung (WS 03/04)
• Seminar Terminierungsanalyse (WS 03/04)

Publications

Conferences

• J. Giesl, R. Thiemann, and P. Schneider-Kamp
  The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs
  In Proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '04), Montevideo, Uruguay, Lecture Notes in Artificial Intelligence 3452, pages 301-331, 2005. © Springer-Verlag
  
• R. Thiemann, J. Giesl, and P. Schneider-Kamp
  Improved Modular Termination Proofs Using Dependency Pairs
  In Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR '04), Cork, Ireland, Lecture Notes in Artificial Intelligence 3097, pages 75-90, 2004. © Springer-Verlag
  
• J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke
  Automated Termination Proofs with AProVE
  In Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA '04), Aachen, Germany, Lecture Notes in Computer Science 3091, pages 210-220, 2004. © Springer-Verlag
  
• J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke
  Improving Dependency Pairs
  In Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '03), Almaty, Kazakhstan, Lecture Notes in Artificial Intelligence 2850, pages 167-182, 2003. ©Springer-Verlag
  Extended version available as Technical Report AIB-2003-04, RWTH Aachen, Germany.

Workshops

• J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke
  The Termination Prover AProVE
  In Proceedings of the 4th Workshop on the Implementation of Logics (WIL '03), Almaty, Kazakhstan, Technical Report ULCS-03-018, University of Liverpool, 2003.
• J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke
  AProVE: A system for Proving Termination
  In Proceedings of the 6th International Workshop on Termination (WST '03), Valencia, Spain, 2003.

Technical Reports

• J. Giesl and R. Thiemann and P. Schneider-Kamp and S. Falke:
  Mechanizing Dependency Pairs
  Aachener Informatik-Bericht 2003-08
  Abstract, Paper
• J. Giesl and R. Thiemann and P. Schneider-Kamp and S. Falke:
  Improving Dependency Pairs
  Aachener Informatik-Bericht 2003-04
  Abstract, Paper

Miscellaneous

• Here is small patch for using the Cisco vpnclient under linux kernel >= 2.6.2. Apply using patch -p0 < vpn.patch. Tested using linux 2.6.3 and Cisco vpnclient 4.0.3B-k9.

Peter Schneider-Kamp

Last modified: Thu Oct 22nd 09:28:12 CEST 2003