Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Course

CS-724: Advanced logic synthesis and quantum computing

Related courses (31)

PHYS-344: Quantum mechanics for non-physicists

This course introduces quantum mechanics to students who are interested in pursuing quantum science and technology but have not gone through the standard bachelor physics curriculum. The students will develop quantum intuition by working out numerical exam ...

CS-550: Formal verification

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and ...

PHYS-453: Quantum electrodynamics and quantum optics

This course develops the quantum theory of electromagnetic radiation from the principles of quantum electrodynamics. It will cover historic developments (coherent states, squeezed states, quantum theory of spontaneous emission) and moreover modern developm ...

COM-401: Cryptography and security

This course introduces the basics of cryptography. We review several types of cryptographic primitives, when it is safe to use them and how to select the appropriate security parameters. We detail how they work and sketch how they can be implemented. ...

EE-280: Electronics

Présentation des principaux composants de base de l'électronique. Analyse de circuits à base d'amplificateurs opérationnels. Introduction aux circuits logiques élémentaires. Principe de la conversion Analogique-Numérique. Modèles simplifiés des transistors ...

EE-320: Analog IC design

Introduction to the design of analog CMOS integrated circuits at the transistor level. Understanding and design of basic structures. ...

MICRO-312: Physics of semiconductors devices

Les étudiants savent expliquer la physique des composants semiconducteurs, tels que diodes, transistors et composants MOS. Ils les utilisent dans des circuits électroniques fondamentaux tels qu'inverseurs et ampli. ...

EE-594: Smart sensors for IoT

This lecture provides insights in the design and technologies of Internet-of-Things sensor nodes, with focus on low power technologies. The lectures alternate every two weeks between sensing technologies of various kinds (prof. Ionescu) and their integrate ...

PHYS-314: Quantum physics II

The aim of this course is to familiarize the student with the concepts, methods and consequences of quantum physics. ...

PHYS-820: Summer school: Simulating Many-Body Quantum Physics

The course covers classical\quantum methods for simulating quantum many-body systems, including Quantum Monte Carlo (Variational Monte Carlo) neural-and tensor network wavefunctions, quantum algorithms, and error mitigation. Participants enhance practical ...

PHYS-434: Physics of photonic semiconductor devices

Series of lectures covering the physics of quantum heterostructures, dielectric microcavities and photonic crystal cavities as well as the properties of the main light emitting devices that are light-emitting diodes (LEDs) and laser diodes (LDs). ...