Ich beschäftige mich in der Arbeitsgruppe mit reversiblen Schaltkreisen und Quantum Computing. Ich untersuche insbesondere neue Ansätze für Embedding, Synthese und Debugging mit Hilfe von Entscheidungsdiagramme.
Ancilla-free synthesis of large reversible functions using binary decision diagrams