Martin Odersky

photo placeholder image

Professeur ordinaire

martin.odersky@epfl.ch +41 21 693 68 63 http://lampwww.epfl.ch/~odersky/

Nationalité:  German

Date de naissance:  05.09.1958

EPFL IC IINFCOM LAMP1
INR 319 (Bâtiment INR)
Station 14
1015 Lausanne

+41 21 693 68 63
+41 21 693 52 02
Local:   INR 319
EPFL > IC > IINFCOM > LAMP1

Web site:   Site web:   https://lampwww.epfl.ch

+41 21 693 68 63
EPFL > IC > IC-SIN > SIN-ENS

Web site:   Site web:   https://sin.epfl.ch

+41 21 693 68 63
EPFL > IC > IC-SSC > SSC-ENS

Web site:   Site web:   https://ssc.epfl.ch

vCard
Données administratives

Publications

Publications Infoscience

Enseignement & Phd

Enseignement

Computer Science

Communication Systems

Doctorants

Bovel Matthieu Alexandre, Herlihy Anna Patricia, Pham Nguyên Cao, Xu Yichen, Zhao Yaoyu,

A dirigé les thèses EPFL de

Amin Nada , Blanvillain Olivier Eric Paul , Boruch-Gruszecki Aleksander Slawomir , Burmako Eugene , Doeraene Sébastien Jean R , Dragos Iulian , Dubochet Gilles , Emir Burak , Haller Philipp , Jonnalagedda Manohar , Jovanovic Vojin , Klug Heather Christine , Liu Fengyun , Maier Ingo , Martres Guillaume André Fradji , Petrashko Dmytro , Plociniczak Hubert , Prokopec Aleksandar , Rompf Tiark , Rytz Lukas , Shabalin Denys , Stucki Nicolas Alexander , Stucki Sandro , Ureche Vlad ,

Cours

Software construction

Apprenez à concevoir et à implémenter des logiciels fiables, maintenables et efficaces à l'aide de techniques variées (style déclaratif, fonctions d'ordre supérieur, types inductifs, parallélisme) et de concepts fondamentaux (réutilisabilité, abstraction, encapsulation, composition, preuves)

Foundations of software

Le cours présente les fondements sur lesquels les programmes et les langages de programmation sont construits. Il introduit la syntaxe, les systèmes de typage et la sémantique comme éléments de base qui, ensemble, définissent les propriétés d'une partie du programme ou du langage.