In der Forschung befasse ich mich mit dem Problem der Logiksynthese. Der Schwerpunk liegt bei der Synthese und Minimierung von reversiblen Logik Funktionen. Diese sind von Wichtigkeit in der Entwicklung von Quanten Computern.
Ancilla-free synthesis of large reversible functions using binary decision diagrams
Debugging Reversible Circuits
Exact Synthesis of Elementary Quantum Gate Circuits
Exact Multiple Control Toffoli Network Synthesis with SAT Techniques