Heinz Riener

Postdoctoral Researcher

heinz.riener@epfl.ch 41 21 693 09 14 https://hriener.github.io

EPFL IC IINFCOM LSI1
INF 339 (Bâtiment INF)
Station 14
CH-1015 Lausanne

Web site: Web site: https://lsi.epfl.ch/

vCard
Administrative data

Fields of expertise

Logic synthesis
Formal verification
Computer-aided design