Ich arbeite im Bereich der Technologien der Zukunft mit besonderem Schwerpunkt auf Quantencomputern und Memristor-basierten Designs. Mein Forschungsschwerpunkt ist der Entwurf, die Synthese und das Mapping von Funktionen, die diese neuen Technologien nutzen. Derzeit beschäftige ich mich mit der effizienten Abbildung von Quantenschaltungen auf verschiedenen Quantenarchitekturen und der Ausnutzung von Sneak Paths für In-Memory Computing auf Memristor-basierten Crossbars.
AQuCiDe: Architecture Aware Decomposition of Quantum Circuits
Polynomial Formal Verification of a RISC-V Processor
qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits
Special issue on in-memory computing: Circuits, system, architecture and verification
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
IMAGIN: Library of IMPLY and MAGIC NOR Based Approximate Adders for In-Memory Computing
Feed-Forward learning algorithm for resistive memories
FAMCroNA: Fault Analysis in Memristive Crossbars for Neuromorphic Applications
CoMIC: Complementary Memristor based in-memory computing in 3D architecture
An Approach to Reversible Logic Synthesis Using Input and Output Permutations