Giovanni De Micheli

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

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

EPFL STI SEL-GE
ELB 110 (Bâtiment ELB)
Station 11
CH-1015 Lausanne

EPFL STI IEM LSI2
INF 341 (Bâtiment INF)
Station 14
CH-1015 Lausanne

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

EPFL IC SIN-GE
INN 112 (Bâtiment INN)
Station 14
CH-1015 Lausanne

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

EPFL IC SSC-GE
INR 130 (Bâtiment INR)
Station 14
CH-1015 Lausanne

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

vCard
Administrative data

Teaching & PhD

Teaching

Computer Science

Electrical and Electronics Engineering
Communication Systems

PhD Programs

Doctoral program in computer and communication sciences

Doctoral Program in Microsystems and Microelectronics

Doctoral Program in Electrical Engineering

Courses

Design technologies for integrated systems

Hardware compilation is the process of transforming specialized hardware description languages into circuit descriptions, which are iteratively refined, detailed and optimized. The course presents algorithms, tools and methods for hardware compilation and logic synthesis.

Advanced logic synthesis and quantum computing

Logic synthesis describes techniques to map complex functionality into a sequence of a few, simple, and small logic primitives. It finds application dominantly in digital design, but is most recently also frequently used in cryptography and quantum computing.