Nachdem der Autor sich in seinen Abschlussarbeiten mit Themen der Analysis befasst hatte, arbeitete er danach beruflich ausschließlich im Bereich der diskreten Mathematik: forschend im Bereich der Spezifikation und Testgenerierung für kommunizierende diskrete Systeme und lehrend in den Bereichen Petri-Netze, Logik und Theoretischer Informatik.
