Concept
Program analysis
Related courses (36)
CS-510: Topics in software security
Memory corruption and type safety flaws dominate the threat landscape. We will approach current research
from three dimensions: sanitization (finding flaws through runtime monitors); fuzzing (testing
AR-302(aj): Studio BA6 (Baumgartner et Camponovo)
STAY A LITTLE LONGER étudie les potentialités du bâti existant. Les outils de représentations du projet de transformation - Existant/Noir, Démolition/Jaune, Nouveau/Rouge -structureront l'exploration
AR-402(aj): Studio MA2 (Baumgartner et Camponovo)
STAY A LITTLE LONGER étudie les potentialités du bâti existant. Les outils de représentations du projet de transformation - Existant/Noir, Démolition/Jaune, Nouveau/Rouge -structureront l'exploration
ENG-430: Risk management
This course provides students with the opportunity to acquire the methods and tools necessary for modern risk management from an engineering standpoint. It emphasizes actors, resources, and objectives
BIO-693: Bioinformatic Analysis of RNA-sequencing
This 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
HUM-269: History and theory of photography
Le cours propose une introduction à l'histoire de la photographie à travers la présentation de dix notions clés, analysées dans leur développement historique du 19e au 21e siècle.
PHYS-210: Physique numérique (pour SPH)
Aborder, formuler et résoudre des problèmes de physique en utilisant des méthodes numériques élémentaires. Comprendre les avantages et les limites de ces méthodes (stabilité, convergence). Illustrer d
CS-308: Introduction to quantum computation
The course introduces the paradigm of quantum computation in an axiomatic way. We introduce the notion of quantum bit, gates, circuits and we treat the most important quantum algorithms. We also touch
BIO-597: Master project in Life Sciences Engineering
The 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
ENG-641: The Practice of Ethics in Engineering Research
Using facilitated debates and systemic analysis of ethical challenges in engineering and research the course outlines how human agency can respond to dilemmas to reframe these as opportunities for inn