MICRO-435: Quantum and nanocomputingThe course teaches non von-Neumann architectures. The first part of the course deals with quantum computing, sensing, and communications. The second focuses on field-coupled and conduction-based nanoc
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
PHYS-325: Introduction to plasma physicsIntroduction à la physique des plasmas destinée à donner une vue globale des propriétés essentielles et uniques d'un plasma et à présenter les approches couramment utilisées pour modéliser son comport
PHYS-117: Physics lab (metrology)Ce cours est une introduction pratique aux techniques de mesure classiques d'un laboratoire de physique ayant pour but de familiariser les étudiants avec l'acquisition de données, les capteurs, l'anal
BIO-311: NeuroscienceThe course starts with fundamentals of electrical - and chemical signaling in neurons. Students then learn how neurons in the brain receive and process sensory information, and how other neurons contr