Heinz Riener

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.
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

Contact

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

+41 21 69 30914
heinz.riener@epfl.ch
www.epfl.ch
GitHub
DBLP
ORCID
SCOPUS
LinkedIn