Mein Forschungsschwerpunkt liegt auf der formalen Verifikation von Hardware-Designs für Gleitkommaarithmetik. Insbesondere entwickle ich entsprechende Techniken für dezimale Floating-Point-Designs. Da dezimale Gleitkommaarithmetik erst vor wenigen Jahren im IEEE-Standard spezifiziert worden ist (IEEE Std754-2008), sind neue Techniken erforderlich, um die Einhaltung des Standards zu überprüfen.