Heinz Riener

Researcher, EPFL, Lausanne, Switzerland


Heinz Riener works as a researcher in computer-aided design and verification. He holds a Ph.D. degree (Dr.-Ing.) in Computer Science from University of Bremen, Germany.

  • From 2017 to 2021 he worked at the Integrated Systems Laboratory at EPFL, Lausanne, Switzerland.
  • From 2015 to 2017 he worked at the German Aerospace Center (DLR), Bremen, Germany, in the group of Avionics Systems.
  • From 2011 to 2015 he worked at the University of Bremen, Germany, in the group of Reliable Embedded Systems.
His research interests are logic synthesis, formal methods, and computer-aided verification of hardware and software systems. Heinz Riener is member of the IEEE and of the ACM.

News

  • The paper
    • Optimizing Adiabatic Quantum-Flux-Parametron (AQFP) Circuits using an Exact Database
    has been accepted by the NANOARCH 2021 conference. publication
  • The papers
    • A Versatile Mapping Approach for Technology Mapping and Graph Optimization
    • Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis
    have been accepted by the ASP-DAC 2022 conference. publication
  • The article A Simulation-Guided Paradigm for Logic Synthesis and Verification has been accepted for publication in Transactions on Computer-Aided Design of Integrated Circuits and Systems. publication
  • The article Efficient Boolean Methods for Preparing Uniform Quantum States has been accepted for publication in Transactions on Quantum Engineering. publication
  • The papers
    • Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis
    • From Logic to Gates: A Versatile Mapping Approach to Restructure Logic
    • Irredundant Buffer and Splitter Insertion and Scheduling-Based Optimization for AQFP Circuits
    • Optimizing Adiabatic Quantum-Flux-Parametron (AQFP) Circuits using Exact Methods
    have been accepted by IWLS 2021.
  • The paper Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition has been accepted by the DDECS 2021 conference. publication
  • I am organising the Logic Synthesis Software School at IWLS 2021.
     event

Contact

Heinz Riener
EPFL IC ISIM LSI1
INF 333, Station 14
1015 Lausanne, Switzerland

+41 21 69 30914
heinz.riener@gmail.com
GitHub
DBLP
ORCID
SCOPUS
LinkedIn