Ich arbeite an formalen Verifikationsmethoden für In-Memory-Computing (IMC)-Systeme, um sicherzustellen, dass diese ihre Anforderungen an Fehlertoleranz und funktionale Korrektheit erfüllen. Ein weiterer Schwerpunkt meiner Forschung liegt in der Entwicklung skalierbarer Frameworks zur Verifikation der Controller innerhalb dieser IMC-Designs. Darüber hinaus untersuche ich IMC-Designstrategien, die eine leichtere Verifizierbarkeit gewährleisten.