Concept

Program analysis

Related courses (36)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

BIO-467: Scientific literature analysis in bioengineering

Students 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 wi

CS-550: Formal verification

We 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

CH-109(a): Chemistry Laboratory Work II

Familiariser l'étudiant aux principes et à la rigueur de l'analyse quantitative. Introduction aux analyses quantitatives classiques. Apprendre à effectuer un travail quantitatif. Exposer les principe

PENS-230: Digital ENAC: le codage en contexte

Digital ENAC aims to provide students with the ability to apply the principles of coding to the practical life of designers and engineers. We will not focus on a specific coding language, but will ext

PHYS-452: Radiation detection

The course presents the detection of ionizing radiation in the keV and MeV energy ranges. Physical processes of radiation/matter interaction are introduced. All steps of detection are covered, as well

MATH-659: Topics in dispersive PDE

This course assumes familiarity with beginning graduate level real analysis, complex analysis and functional analysis, and also basic harmonic analysis, as well as fundamental concepts from differenti

FIN-601: Theoretical corporate finance

The aim of this course is to expose students to important topics in the literature on corporate finance. The objective of the course is to give students a working understanding of key papers and to ex

CS-320: Computer language processing

We 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 in

EE-554: Automatic speech processing

The goal of this course is to provide the students with the main formalisms, models and algorithms required for the implementation of advanced speech processing applications (involving, among others,

HUM-408: Industrial design I

Le cours propose d'expérimenter les spécificités du design industriel en confrontant les étudiant.e.s à la création d'un objet. Il s'agit d'un enseignement pratique dont le résultat est un objet fonct