Meine Forschung dreht sich um automatisierte Beweistechniken wie BDDs und SAT-Solvers im Rahmen moderner Verifizierungsmethoden. Der Schwerpunkt ist momentan diese Beweistechniken zu untersuchen und für die Verifizierung komplexer eingebetteter Systeme mithilfe von Heuristiken auf verschiedenen Ebenen zu optimieren.
Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs 
veriSIMPLER : An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing