Meine Forschungsgebiete sowie Lehrschwerpunkte umfassen die Logiksynthese und formale Verifikation wie Äquivalenzprüfungen von VLSI-Schaltungen, insbesondere unter Nutzung von Entscheidungsdiagrammen. Die wesentlichen Ziele meiner Arbeit sind deren algorithmische Verbesserung und die Entwicklung neuartiger graphenbasierter Datenstrukturen zur Steigerung der Effizienz von CAD-Systemen für integrierte Schaltkreise in technischen Systemen.