MSE-352: Introduction à la microscopie + TPCe cours d'introduction à la microscopie a pour but de donner un apperçu des différentes techniques d'analyse de la microstructure et de la composition des matériaux, en particulier celles liées aux microscopies électronique et optique. Le cours comprend d ...
CH-633: Advanced Solid State and Surface CharacterizationState-of-the-art surface/thin film characterization methods of polycrystalline/nano/amorphous materials. Selected topics from thin film X-ray diffraction (GIWAXS, GISAXS, PDF), electronic and optical spectroscopy (XPS, AES, SERS, TERS), scanning probe and ...
ENV-370: Environmental system analysis and assessmentLes enjeux environnementaux doivent être abordés de façon systémique. L'Analyse du Cycle de Vie (ACV) et l'Analyse de Flux de Matière (AFM) sont des méthodes permettant d'évaluer de façon globale les performances environnementales des produits, des service ...
DH-405: Foundations of digital humanitiesThis course introduces the core concepts and methodologies of Digital Humanities, integrating both theoretical and practical perspectives. Students learn to work with large-scale cultural datasets, acquiring the tools and techniques required for their proc ...
CIVIL-423: Computational geomechanicsThe goal of this course is to introduce the student to modern numerical methods for the solution of coupled & non-linear problems arising in geo-mechanics / geotechnical engineering. ...
CIVIL-522: Seismic engineeringThis course deals with the main aspects of seismic design and assessment of buildings including conceptual design. It covers different structural design and evaluation philosophies for new and existing reinforced concrete, steel and unreinforced masonry bu ...
MGT-202: Technologie, économie et politique: en face des crisesCe cours traite centralement de l'innovation comme réponse essentielle aux grandes crises de notre temps - ce que l'on appelle aujourd'hui les grands défis sociétaux. Le cours alternera présentations théoriques - notamment fondées sur l'analyse micro-écono ...
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 ...
ENV-444: Exploratory data analysis in environmental healthThis course teaches how to apply exploratory spatial data analysis to health information. Teaching focuses on the role of GIS and spatial statistics in spatial epidemiology. It proposes a context to investigate the relationship between health, quality of l ...
HUM-380: Jeu vidéo et gamificationCe cours propose d'acquérir des compétences en création de jeux vidéo, en invitant les étudiant·e·s à mettre leurs connaissances au service d'un projet collectif de recherche-création centré sur la ludification (gamification) d'un contenu scientifique. ...
MATH-251(a): Analyse numériqueThis course presents numerical methods to solve mathematical problems such as systems of linear and nonlinear equations, function approximation, integration and differentiation, and differential equations. ...
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 they work and sketch how they can be implemented. ...
ENV-501: Material flow analysis and resource managementThis course provides the basis to understand material and energy production and consumption processes. Students learn how to develop a material flow analysis and apply it to resource management cases. They analyze the implications of their models on resour ...
ENG-410: Energy supply, economics and transitionThis course examines energy systems from various angles: available resources, how they can be combined or substituted, their private and social costs, whether they can meet the energy demand, and how the transition to a renewable energy system can be foste ...
CS-428: Interactive theorem provingA hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.
Come learn how to write computer-checked proofs and certified bug-free code! ...
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 data science world (pandas, scikit-learn, Spark, etc.) ...
