Prof. Dr. Michael Hanus
Christian-Albrechts-Platz 4, R.706
Phone:
+49 431 880-7271
mh@informatik.uni-kiel.de