MATH-611: Scientific programming for EngineersThe students will acquire a solid knowledge on the processes necessary to design, write and use scientific software. Software design techniques will be used to program a multi-usage particles code, ai
CS-119(a): Information, Computation, CommunicationD'une part, le cours aborde: (1) la notion d'algorithme et de représentation de l'information, (2) l'échantillonnage d'un signal et la compression de données et (3) des aspects
liés aux systèmes: ordi
CS-202: Computer systemsThis course will teach operating systems and networks in an integrated fashion,emphasising the fundamental concepts and techniques that make their interaction possible/practical. Core lectures will be
ME-213: Programmation pour ingénieurMettre en pratique les bases de la programmation vues au semestre précédent. Développer un logiciel structuré. Méthode de debug d'un logiciel. Introduction à la programmation scientifique. Introductio
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
CS-401: Applied data analysisThis course teaches the basic techniques, methodologies, and practical skills required to draw meaningful insights from a variety of data, with the help of the most acclaimed software tools in the dat
ENG-610: How to prepare successful Grant proposalsYou will learn where to look for appropriate fellowship or research funding, how to apply for specific instruments, and how to prepare a written application. You will also gain an understanding of how
BIO-693: Bioinformatic Analysis of RNA-sequencingThis course will take place from 2nd to 6th June 2025 in room AAC 1 37.
It introduces the workflows and techniques that are used for the analysis of bulk and single-cell RNA-seq data. It empowers stu
CS-214: Software constructionLearn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundam
ME-418: Integrated mechanical designLes objectifs du cours incluent l'approfondissement d'une approche scientifique de la conception, la pratique d'une démarche multi-thématique, la pratique de l'intégration de systèmes et l'acquisition
