Prof. Dr. H. Peter Gumm

Research

• Coalgebras
• Verifikation of distributed systems
• Universal Algebra

Publications

• Books and Monographs
• Articles

Projects

• Textbook: Einführung in die Informatik with Manfred Sommer
• Microcode-Simulator with M.Perner
• NPPV(New Paltz Program Verifier)
• Using XY-pic in LyX (Documentation) html or pdf

Lehre

• Summersemester 2010

  • Theoretical Computer Science
    Tu 8:00-10:00 in HG 5
    Wed 8:00-10:00 in HG 4
    Labpage and handouts
    
    
  • Model Checking
    Tu 14:00-16:00 in HS II
    Th 14:00-16:00 in HS II
    Labpage and handouts

Contact

• Ph: ++49 6421 28-21516
• Fax: ++49 6421 28-25419
• email
• Sekretaries (Ebene D5, Zi 5426)
  • Mrs. Heinbächer,  Ph.: -21514
  • Mrs. Dinklage, Ph: -21513
• Directions for visitors

Office hours

• Office hours by e-mail appointment