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
EE-536: Physical models for micro and nanosystemsStudents will learn simple theoretical models, the theoretical background of finite element modeling as well as its application to modeling charge, mass and heat transport in electronic, fluidic and e
PENS-307: Urban planning in the SouthCe cours est une introduction aux outils techniques et conceptuels essentiels à la planification urbaine et à la prise de décisions basées sur l'évidence. Ces outils sont introduits dans le contexte d
ENV-591(a): Projet SIE individuelProjet de recherche individuel qui met en pratique la formation théorique spécifique au domaine SIE. Ce projet se fait dans un laboratoire de l'ingénierie de l'environnement (IIE).
MGT-455: Practical business lawThe course covers the fundamental concepts of business law from a practical standpoint, including contracts and company law, intellectual property, competition law and data protection, with a special
COM-405: Mobile networksThis course provides a detailed description of the organization and operating principles of mobile and wireless communication networks, as well as the use of wireless signals for sensing and imaging.
