Researcher, EPFL, Lausanne, Switzerland
Heinz Riener works as a researcher at the Integrated Systems Laboratory at EPFL, Lausanne, Switzerland in the group of Giovanni De Micheli. He holds a Ph.D. degree (Dr.-Ing.) in Computer Science from University of Bremen, Germany.
- 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.
The paper Exact synthesis of LTL properties from traces
has been accepted by the FDL 2019 conference.
The paper Evaluating ESOP Optimization Methods in Quantum Compilation Flows
has been accepted by the RC 2019 conference.
- I am organizing the special session Modern Design Tools for Effective Property Generation at the FDL 2019 conference. special session
The paper Logic Optimization of Majority-Inverter Graphs
has been accepted by MBMV 2019.
I am organising the Logic Synthesis Software School at IWLS 2019.
The project Open Logic Synthesis Libraries and Benchmarks has been selected
to be supported by EPFL's
Open Science Fund.
The paper Scalable Generic Logic Synthesis: One Approach to Rule Them All
has been accepted by the DAC 2019 conference.