Ich arbeite im Gebiet der reversiblen Logik. Speziell entwickel ich hierfür Ansätze für die Synthese und Optimierung. Darüber hinaus beschäftige ich mich mit dem Test reversibler Schaltungen.
ReSG: A Data Structure for Verification of Majority based In-Memory Computing on ReRAM Crossbars
Impact of Sneak Paths on In-Memory Logic Design in Memristive Crossbars Information Technology
Synthesis of optical circuits using binary decision diagrams
Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits
Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability