Heinz Riener
Post-Doctorant
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
+41 21 693 09 14
EPFL
>
IC
>
IINFCOM
>
LSI1
Web site: Site web: https://lsi.epfl.ch/
Domaines de compétences
Logic synthesis
Formal verification
Computer-aided design
Formal verification
Computer-aided design