Meine vorrangigen Forschungsinteressen liegen in den Themenbereichen der reversiblen Schaltkreise, der Logik-Synthese sowie dem Booleschen Erfüllbarkeitsproblem (SAT).
SyReC: A Programming Language for Synthesis of Reversible Circuits