PHYS-344: Quantum mechanics for non-physicistsThis 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
CS-550: Formal verificationWe 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 u
COM-401: Cryptography and securityThis 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
EE-280: ElectronicsPré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
EE-320: Analog IC designIntroduction to the design of analog CMOS integrated circuits at the transistor level. Understanding and design of basic structures.
MICRO-312: Physics of semiconductors devicesLes é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'invers
EE-594: Smart sensors for IoTThis 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 technolog
PHYS-314: Quantum physics IIThe aim of this course is to familiarize the student with the concepts, methods and consequences of quantum physics.
