Concept
Program analysis
Related courses (36)
HUM-476: Ecological transition: from theory to practice I
Ce cours permet aux étudiant·e·s d'acquérir des connaissances théoriques et pratiques sur les enjeux liés à la transition écologique et sociale. Il comprend des enseignements interdisciplinaires, ains
CS-210: Functional programming
Understanding of the principles and applications of functional programming, the fundamental models of program
execution, application of fundamental methods of program composition, meta-programming thr
CS-725: Topics in Language-based 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
MATH-612: Irregular transport and mixing
We will present the theory of PDEs and of transport equations with rough (non Lipschitz) velocity fields, address both the renormalisation theory by DiPerna-Lions-Ambrosio and its quantitative Lagrang
EE-477: Multivariable control and coordination systems
The objective is to enable students to design advanced digital solutions for the control and the coordination of distributed dynamic systems, such as production or distribution energy systems, as well
ENG-440: Spatial statistics and analysis
The main objective is to make the students understand the importance of the spatial issues in environmental sciences and engineering, for example for mapping and interpolation. Presentation of differe