IPP Home Regulations Course List Detailed Schedule

CPS Master Track - List of Courses

List of Courses

M1 (First Year) - Compulsory courses

  • INF559 (CSC_51059_EP) - A Programmer’s Introduction to Computer Architectures and Operating Systems (5 ECTS) (X)
  • INF564 (CSC_52064_EP) - Compilation (5 ECTS) (X)
  • INF575 (CSC_51075_EP) - Safe Intelligent Systems (5 ECTS) (X)
  • INF591 (CSC_52991_EP) - Research internship - Computer Science (30 ECTS)

M2 (Second Year) - Compulsory courses

  • INF641 (CSC_54441_EP) - Introduction to the verification of neural networks (2.5 ECTS) (X)
  • INF656D (CSC_5SL03_TP) - Modélisation et analyse des risques de sécurité dans les systèmes complexes (2.5 ECTS) (Telecom Paris)
  • INF656I (CSC_53656_EP) - Numerical methods for dynamical systems (2.5 ECTS) (ENSTA)
  • INF656L (CSC_54656_EP) - Decision Procedures for Artificial Intelligence (2.5 ECTS) (X)
  • SE301a (CSC_5SE01_TP) - Real-time System Scheduling (2.5 ECTS) (Telecom Paris)
  • SE301b (TBD) - Real-Time System Design (2.5 ECTS) (Telecom Paris)
  • CT (APM_4AUT2_TA) - Introduction to Control Theory (2.5 ECTS) (ENSTA)
  • INF657G (CSC_54456_EP) - Navigation for Autonomous Systems (2.5 ECTS) (X)
  • STGM2 (INT_53001_EP) - Research Internship (30 ECTS)

Optional Courses

  • Available to both the M1 and M2
    • TBD (TBD) - Language Courses (2.5 ECTS) (X)
    • INF551 (CSC_51051_EP) - Computational Logic (5 ECTS) (X)
    • INF554 (CSC_51054_EP) - Machine and Deep Learning (5 ECTS) (X)
    • INF557 (CSC_51057_EP) - From the Internet to the IoT: Fundamentals of Modern Computer Networking (5 ECTS) (X)
    • INF558 (CSC_51058_EP) - Introduction to Cryptology (5 ECTS) (X)
    • INF560 (CSC_52060_EP) - Algorithmique parallèle et distribuée (5 ECTS) (X)
    • INF567 (CSC_52067_EP) - Wireless Networks: from Cellular to Connected Objects (5 ECTS) (X)
    • INF568 (CSC_52068_EP) - Advanced Cryptology (5 ECTS) (X)
    • INF571 (CSC_51071_EP) - Distributed Computing (5 ECTS) (X)
    • INF580 (CSC_52080_EP) - Large Scale Mathematical Optimization (5 ECTS) (X)
    • INF581 (CSC_52081_EP) - Advanced Machine Learning and Autonomous Agents (5 ECTS) (X)
    • INF586 (CSC_52086_EP) - Network Security (5 ECTS) (X)
  • Available only for the M2
    • NET7212 (NET7212) - Safe System Programming (5 ECTS) (Telecom SudParis)
    • CSC7334 (CSC7334) - Software Model Based Testing (2.5 ECTS) (Telecom SudParis)

Prerequisites