Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

H. Peter Gumm


Referee for: D.2.1, D.2.4, D.3.1, E.1, F.1.1, F.3, F.4.1, I.1
Institution: Philipps-Universit├Ąt Marburg
Address: Fachbereich Mathematik und Informatik
Philipps-Universit├Ąt Marburg
Hans-Meerwein Str.
35032 Marburg
Germany
Home Page: http://www.mathematik.uni-marburg.de/~gumm/

Main Research Interests:

  • verification of distributed systems
  • universal algebra
  • universal coalgebra