Ich studierte in Erlangen Angewandte Mathematik und promovierte 1998 auch in diesem Fach. Während meiner Promotion entwickelte ich ein neues Verfahren zur numerischen Lösung inverser Probleme und ein objektorientiertes Simulations-/Optimierungs-Werkzeug. Danach war ich als IT-Berater für Großunternehmen bei einer internationalen Beratungsfirma tätig. 2003 wurde ich an die Fachhochschule Gießen-Friedberg, 2010 an die Hochschule RheinMain berufen. Ich interessiere mich vor allem für den Einsatz formaler Methoden im Software-Engineering und für Fragen der Softwarearchitektur.