Robert Eschbach Foundations of Informatics Group, Department of Informatics, University of Kaiserslautern, Germany, PO Box: 3049, Building: 34/426, Phone: ++49 631 205 3051, Fax: ++49 631 205 3420, Email: eschbach@informatik.uni-kl.de (GnuPG Public Key, Fingerprint: 6058 E51C CBA1 0941 CE87 A35F 15CF 7CD4 A8A4 36EA)

Contents

• Research
• Teaching
• Private

Research

• Interests.
  • Specification and Verification of Distributed Algorithms. (Project C1, SFB 501)
    • Distributed ASMs
    • Refinement Relations
  • Formal Semantics of Programming Languages: SDL 2000 (Project C1, SFB 501)
    • SDL Formal Semantics Project (Formal Semantics for SDL-2000 Based on ASMs Approved by ITU)
    • ITU-T
• Publications

Teaching

• Lectures:
  • Foundations of Programming (SS 2005)
  • Formal Specification and Verification Techniques (SS 2004)
  • Foundations of Programming (SS 2002)
  • Computer Algebra (WS 2001/2002)
  • Special Topics in Formal Specification and Verification Techniques (SS 2001)
  • Formal Specification and Verification Techniques (WS 2000/2001)
  • Design and Analysis of Algorithms (WS 1999/2000)
  • Foundations of Programming (SS 1999)
  • Equational Programming (WS 1997/1998)
• Seminars:
  • Formal Specification and Verification Techniques (WS 2004/2005)
  • Post Graduate Course on ASMs and their Applications (WS 2003/2004)
  • Specification and Verification (SS 2003)
  • Cryptography (WS 2002/2003)
  • Logic (SS 2002)
  • Computer Algebra (WS 2001/2002)
  • Specification and Verification (SS 2001)
  • Computeralgebra and Specification Techniques (WS 2000/2001)
  • Cryptography (SS 2000)
• Practical Courses:
  • Formal Specification and Verification Techniques (WS 2004/2005)
  • Specification and Verification (SS 2001)
  • Efficient Algorithms (SS 1998)

Private

• Private Homepage: http://www.robert-eschbach.de