2
20142015 INFORMATIQUE spécialisations Les enseignants, les crédits et la période des cours sont indiqués sous réserve de modification. Code Enseignants Sections Crédits 60 CS-450 Advanced Algorithms Moret IN 7 A CS-420 Advanced compiler construction Schinz IN 4 P CS-422 Big data Koch IN 7 P CS-453 Concurrent algorithms Guerraoui SC 4 A CS-451 Distributed algorithms Guerraoui SC 4 A CS-452 Foundations of software Odersky IN 4 A CS-424 * Emerging distributed architectures Garbinato HEC 6 P CS-478 Model-based system design Sifakis IN 4 P COM-503 Performance evaluation Le Boudec SC 7 P CS-522 Principles of computer systems Argyraki/Bugnion/Koch SC/IN 7 A CS-550 Synthesis, analysis and verification Kuncak IN 6 P 91 CS-440 Advanced computer graphics Pauly IN 4 A COM-415 Audio signal processing and virtual acoustics Faller/Schröder SC 5 A EE-554 Automatic speech processing Bourlard EL 3 A EE-512 Biomedical signal procesing Vesin EL 6 A CS-441 Color reproduction Hersch IN 4 P CS-442 Computer vision Fua SC 4 P CS-446 Digital 3D Geometry Processing Pauly IN 5 P EE-550 Image and video processing Ebrahimi EL 6 A MICRO-511 Image processing I Unser/Van De Ville MT 3 A MICRO-512 Image processing II Unser/Van De Ville MT 3 P CS-341 Introduction to computer graphics Pauly IN 6 P COM-514 Mathematical foundations of signal processing Kolundzija/Vetterli/Bejar/Parhizkar SC 6 A CS-433 Pattern classification and machine learning Khan IN 7 A CS-489 Personal interaction studio Huang IN 6 P EE-511 Sensors in medical instrumentation Aminian EL 3 P COM-303 * Signal processing for communications Prandoni SC 6 P COM-511 Software-defined radio : A hands-on course Rimoldi SC 5 A COM-500 Statistical signal and data processing through applications Ridolfi SC 5 P CS-444 Virtual reality Boulic IN 4 P 74 CS-450 Advanced algorithms Moret IN 7 A CS-422 Big data Koch IN 7 P COM-401 Cryptography and security Vaudenay SC 7 A CS-451 Distributed algorithms Guerraoui SC 4 A CS-423 Distributed information systems Aberer SC 4 A * E-Business Pigneur HEC 6 A CS-424 * Emerging distributed architectures Garbinato HEC 6 P CS-491 Enterprise and service-oriented architecture Wegmann SC 6 P CS-486 Human computer interaction (pas donné en 2014-15) Pu IN 4 P CS-430 Intelligent agents Faltings IN 6 A CS-431 Introduction to natural language processing Rajman/Chappelier IN 4 P COM-405 Mobile networks Hubaux SC 4 P COM-512 Networks out of control (pas donné en 2014-2015) Thiran P./Grossglauser SC 4 P COM-503 Performance evaluation Le Boudec SC 7 P EE-593 Social Media Gillet EL 2 P Spécialisation "C - SIGNAL, IMAGES, AND INTERFACES" Responsables : Prof. R. Hersch et Prof. M. Vetterli Spécialisation "E - INTERNET COMPUTING" Responsables : Prof. B. Faltings et Prof. K. Aberer Matières Période des cours Spécialisation "B - FOUNDATIONS OF SOFTWARE" Responsable : Prof. M. Odersky

2014 2015 INFORMATIQUE spécialisations - ic.epfl.ch©cialisations... · CS-453 Concurrent algorithms Guerraoui SC 4 A COM-418 IT security engineering Janson IN 4 A COM-418a IT security

  • Upload
    lebao

  • View
    214

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 2014 2015 INFORMATIQUE spécialisations - ic.epfl.ch©cialisations... · CS-453 Concurrent algorithms Guerraoui SC 4 A COM-418 IT security engineering Janson IN 4 A COM-418a IT security

2014‐2015 INFORMATIQUE‐spécialisations

Les enseignants, les crédits et la période des cours sont indiqués sous réserve de modification.

Code Enseignants Sections Crédits

60

CS-450 Advanced Algorithms Moret IN 7 A

CS-420 Advanced compiler construction Schinz IN 4 P

CS-422 Big data Koch IN 7 P

CS-453 Concurrent algorithms Guerraoui SC 4 A

CS-451 Distributed algorithms Guerraoui SC 4 A

CS-452 Foundations of software Odersky IN 4 A

CS-424 * Emerging distributed architectures Garbinato HEC 6 P

CS-478 Model-based system design Sifakis IN 4 P

COM-503 Performance evaluation Le Boudec SC 7 P

CS-522 Principles of computer systems Argyraki/Bugnion/Koch SC/IN 7 A

CS-550 Synthesis, analysis and verification Kuncak IN 6 P

91

CS-440 Advanced computer graphics Pauly IN 4 A

COM-415 Audio signal processing and virtual acoustics Faller/Schröder SC 5 A

EE-554 Automatic speech processing Bourlard EL 3 A

EE-512 Biomedical signal procesing Vesin EL 6 A

CS-441 Color reproduction Hersch IN 4 P

CS-442 Computer vision Fua SC 4 P

CS-446 Digital 3D Geometry Processing Pauly IN 5 P

EE-550 Image and video processing Ebrahimi EL 6 A

MICRO-511 Image processing I Unser/Van De Ville MT 3 A

MICRO-512 Image processing II Unser/Van De Ville MT 3 P

CS-341 Introduction to computer graphics Pauly IN 6 P

COM-514 Mathematical foundations of signal processing Kolundzija/Vetterli/Bejar/Parhizkar SC 6 A

CS-433 Pattern classification and machine learning Khan IN 7 A

CS-489 Personal interaction studio Huang IN 6 P

EE-511 Sensors in medical instrumentation Aminian EL 3 P

COM-303 * Signal processing for communications Prandoni SC 6 P

COM-511 Software-defined radio : A hands-on course Rimoldi SC 5 A

COM-500 Statistical signal and data processing through applications Ridolfi SC 5 P

CS-444 Virtual reality Boulic IN 4 P

74

CS-450 Advanced algorithms Moret IN 7 A

CS-422 Big data Koch IN 7 P

COM-401 Cryptography and security Vaudenay SC 7 A

CS-451 Distributed algorithms Guerraoui SC 4 A

CS-423 Distributed information systems Aberer SC 4 A

* E-Business Pigneur HEC 6 A

CS-424 * Emerging distributed architectures Garbinato HEC 6 P

CS-491 Enterprise and service-oriented architecture Wegmann SC 6 P

CS-486 Human computer interaction (pas donné en 2014-15) Pu IN 4 P

CS-430 Intelligent agents Faltings IN 6 A

CS-431 Introduction to natural language processing Rajman/Chappelier IN 4 P

COM-405 Mobile networks Hubaux SC 4 P

COM-512 Networks out of control (pas donné en 2014-2015) Thiran P./Grossglauser SC 4 P

COM-503 Performance evaluation Le Boudec SC 7 P

EE-593 Social Media Gillet EL 2 P

Spécialisation "C - SIGNAL, IMAGES, AND INTERFACES"Responsables : Prof. R. Hersch et Prof. M. Vetterli

Spécialisation "E - INTERNET COMPUTING"Responsables : Prof. B. Faltings et Prof. K. Aberer

MatièresPériode des

cours

Spécialisation "B - FOUNDATIONS OF SOFTWARE"Responsable : Prof. M. Odersky

Page 2: 2014 2015 INFORMATIQUE spécialisations - ic.epfl.ch©cialisations... · CS-453 Concurrent algorithms Guerraoui SC 4 A COM-418 IT security engineering Janson IN 4 A COM-418a IT security

42

CS-470 Advanced computer architecture Ienne IN 4 P

CS-471 Advanced multiprocessor architecture (pas donné en 2014-2015) Falsafi IN 6 A

CS-472 Design technologies for integrated systems De Micheli IN 6 A

ENG-466a Distributed intelligent systems Martinoli SIE 4 A

ENG-466b Distributed intelligent systems project Martinoli SIE 2 A

CS-473 Embedded systems Beuchat IN 4 A

EE-432 * Hardware systems modeling I Vachoux EL 2 A

EE-433 * Hardware systems modeling II Vachoux EL 2 P

CS-474 Microelectronics for systems on chips Beuchat/Piguet IN 4 A

CS-476 Real-time embedded systems Beuchat IN 4 P

CS-550 Synthesis, analysis and verification Kuncak IN 6 P

EE-429 * Fundamentals of VLSI Design Leblebici/Tajalli EL 2 A

EE-431 * Advanced VLSI design Leblebici/Tajalli EL 2 P

Spécialisation "G - SERVICE SCIENCE"Responsable : Prof. Wegmann

50

IT & Strategy (non-technical courses)

CS-490 Bussiness plan for IT services Wegmann SC 3 P

MGT-552 * Corporate governance Finger MTE 4 P

* E-Business Osterwalder HEC 6 A

MGT-439 * Information technology and e-business strategy Tucci MTE 5 A

MGT-503 * Technology strategy and corporate entrepreneuship Wadhwa MTE 5 A

Service-oriented design (technical courses)

COM-401 Cryptography and security Vaudenay SC 7 A

CS-423 Distributed information system Aberer SC 4 P

CS-491 Enterprise and service-oriented architecture Wegmann SC 6 P

CS-486 Human computer interaction (pas donné en 2014-15) Pu IN 4 P

CS-430 Intelligent agents Faltings IN 6 A

Spécialisation "H - SOFTWARE SYSTEMS"Responsable : Prof. G. Candea

41

CS-420 Advanced compiler construction Schinz IN 4 P

CS-470 Advanced computer architecture Ienne IN 4 P

CS-422 Big data Koch IN 7 P

CS-471 Advanced multiprocessor architecture (pas donné en 2014-2015) Falsafi IN 6 A

CS-453 Concurrent algorithms Guerraoui SC 4 A

COM-418 IT security engineering Janson IN 4 A

COM-418a IT security engineering TP Janson IN 2 A

COM-405 Mobile networks Hubaux SC 4 P

COM-503 Performance evaluation Le Boudec SC 7 P

COM-407 TCP/IP networking Le Boudec SC 5 A

Légende :

* = cours hors plan d'études pour les étudiants ne faisant pas la spécialisation

A = automne, P = printemps - 1 semestre comprend 14 semaines

Spécialisation "F - COMPUTER ENGINEERING-SP"Responsable : Prof. P. Ienne