Ich arbeite am Frauhofer Institut Integrierte Schaltungen, Institutsteil Entwurfsautomatisierung und verstärke von Dresden aus die Arbeitsgruppe tatkräftig. Meine Interessen liegen, getreu dem Motto der Fraunhofer Gesellschaft, vor allem in der anwendungsorientierten Forschung. Hier muss einiges getan werden, um theoretische Verfahren und experimentelle Methoden erfolgreich in der industriellen Praxis einsetzen zu können. In diesem Umfeld beschäftige ich mich mit Statischer und Dynamischer Analyse zur Qualitätssicherung von Schaltkreisen sowie zur Unterstützung der Formalen Verifikation.