Ich interessiere mich für die polynomiale formale Verifikation von arithmetischen Schaltungen. Insbesondere versuche ich, die räumliche und zeitliche Komplexität der Überprüfung verschiedener arithmetischer Schaltungen wie Multiplizierer und Addierer zu berechnen.