Mein Forschungsgebiet umfasst im Großen und Ganzen den Entwurf, die Automatisierung und die Verifizierung von VLSI-Systemen. Ich arbeite an der Entwicklung effizienter CAD-Methoden für neue Technologien. Dazu gehören automatisierte Methoden für die Synthese, die formale Überprüfung und die Entwicklung von Benchmark-Schaltungen für neue Technologien. Derzeit beschäftige ich mich mit memristorbasierten Schaltungen und approximativem Rechnen.
MARADIV: Library of MAGIC based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors
IMAGIN: Library of IMPLY and MAGIC NOR Based Approximate Adders for In-Memory Computing