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 use formal verification tools and explain the theory and ...
CS-320: Computer language processingWe teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language into machine code using a popular backend called LLVM (htt ...
BIO-205: Cellular and molecular biology IThe course covers the regulation of gene expression, which translates the information contained in the genome into function, by adjusting the levels and activities of mRNAs and proteins to the needs of specific cells, tissues and environments. A particular ...
BIO-467: Scientific literature analysis in bioengineeringStudents are given the means to dig effectively into modern scientific literature in the multidisciplinary field of bioengineering.
The method relies on granting sufficient time to become familiar with the background and hypotheses, on effective support d ...
BIO-597: Master project in Life Sciences EngineeringThe Master project is the culmination of a student's work of analysis, design and implementation, which proves his/her engineering capacities.
Students will engage in laboratory-based projects in the field of life sciences engineering. ...
AR-339: Designing built heritage: Tools and methods70% des activités des bureaux d'architecture se déroulent dans le projet dans l'existant. Le cours souhaite transmettre aux étudiants les outils théoriques et pratiques de base pour aborder le projet dans l'existant, sur un patrimoine bâti courant mais aus ...
CIVIL-557: Decision-aid methodologies in transportationThe course has two modules, the first Operations Research (OR), and the second is statistical modeling of transportation systems. Students will be modeling applied problems and developing solution methods and modelling of driver behavior for decision suppo ...
BIO-603(O): Practical - Oricchio LabTraining in hemato-oncology.
Analysis and genetic manipulation of hematopoietic progenitor cells.
Morphological recognition of main hematopoietic lineages. ...
BIOENG-420: Single cell biologyThe students are exposed to experimental and analytical approaches specific to single cell biology, with an emphasis on quantitative aspects. ...
CIVIL-438: Risk analysis and managementLe cours vise à former les étudiants aux méthodes et outils permettant d'appréhender de manière fondée et scientifique la question de l'analyse et de la gestion des risques technologiques et naturels, avec une attention portée au domaine du Génie civil. ...
CH-109(a): Chemistry Laboratory Work IIFamiliariser l'étudiant aux principes et à la rigueur de l'analyse quantitative.
Introduction aux analyses quantitatives classiques. Apprendre à effectuer un travail quantitatif.
Exposer les principes généraux de la chimie analytique quantitative.
Rédige ...
ChE-411: Principles and applications of systems biologyThe course introduces and develops the key concepts from systems biology and systems engineering in the context of complex biological networks. The lectures elaborate on techniques and methods to model and analyze complex biological problems. ...
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
fundamental software construction concepts (reusability, abstr ...
BIOENG-210: Biological data science I: statistical learningProcessing, analyzing, and interpreting large biological datasets is an essential skill for modern biologists. This course aims to provide the theoretical foundations, analytical techniques, and software tools necessary to effectively manage and derive ins ...
CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code! ...
