Heinz Riener

Heinz Riener is a Researcher at the Integrated Systems Laboratory (LSI) within the School of Computer and Communication Sciences (IC) at EPFL, Lausanne, Switzerland. He holds a Ph.D. (Dr.-Ing.) in Computer Science from the University of Bremen, Germany. Previously, he worked at the German Aerospace Center (DLR) and the University of Bremen's Reliable Embedded Systems group.

His research focuses on logic synthesis, formal methods, and computer-aided verification of hardware and software systems. Key areas include quantum computing (e.g., AQFP circuits), nanotechnology (e.g., RFET-based circuits), and emerging technologies like adiabatic quantum-flux parametron systems.

• Developed open-source tools like mockturtle and easy for logic synthesis and ESOP forms.
• Principal Investigator on projects like the Open Logic Synthesis Libraries initiative.
• Active in program committees for conferences like DAC, DATE, and FDL.
• Collaborates with institutions such as TU Graz, TU Hamburg, and UC Berkeley.

His work emphasizes reproducibility and open-source collaboration in logic synthesis, contributing to benchmarks and libraries widely used in academia and industry.