Master Informatique parcours Science Informatique (SIF)

General overview

The Master of Computer Science of Rennes, Science of InFormatics (SIF) track is dedicated to the students interested in a career in Research in Computer Science. This research-oriented is backed by IRISA and Inria/RBA, which together make the largest Computer Science laboratory in France. Thanks to this backing, the Master SIF offers a wide choice of cutting-edge courses from various active research domains in Computer Science.

As few select exemples, students can learn advanced machine architecture with André Seznec, distinguished with a prestigious Intel Oustanding Researcher Award, computer graphics with Maud Marchal, recipient of a very selective European ERC grant, but also domain-specific languages with Jean-Marc Jezequel, a CNRS Silver Medal.

In order to welcome foreign students, all lecture notes and most lectures are in English.

The SIF master is administered by a consortium of the main computer science universities and graduate schools in Brittany : University of Rennes, ENS Rennes, National Institute of Applied Sciences, Rennes (INSA) and CentraleSupélec. This consortium of institutions, with the support of renowned laboratories, offers students training at the cutting edge of computer science research. The program is supported by an agreement with Inria.

For more information see the detailed website 

Program of Master 1, SIF track

Semester 1

  • UE -Research project 1
  • UE -Research seminars 1
  • UE -Research preparation 1
  • UE -Advanced operating systems
  • UE -Digital privacy
  • UE -English 1
  • Optional block 1
    • UE -Complexity theory
    • UE -Experimental Bioinformatics
  • Optional block 2
    • UE -Parallel programming
    • UE -Signal processing
  • Optional block
    • UE -Semantics
    • UE - Analysis and formal design
Semester 2

  • UE -Research project 2
  • UE -Research seminars 2
  • UE -Research preparation 2
  • UE -Research internship
  • UE -English 2
  • UE -Information theory
  • UE -General compiler concepts
  • UE -Epistemology of science
  • Optional block
    • UE -Logic and knowledge representation
    • UE -Computer graphics
    • UE -Modeling and formal verification by automata
    • UE -Programming projects
    • UE -Machine Learning

Program of Master 2, SIF track

Semester 1

  • Colloque (COLQ )
    • Colloque (COLQ )
    • Methodology
    • Successful professional integration in research
    • Project
  • 7 courses among the following 
    • Optimizing and Parallelizing Compilers (OPC)
    • Making data speak: advanced probabilistic data analysis and modeling (ADM)
    • Large-Scale Data Analysis and Data Mining (LAM)
    • Graph Data Processing (GDP)
    • Deep Learning for Vision (DLV)
    • Software Architecture (ARC)
    • Advanced Semantics (AS)
    • Software Vulnerabilities (SV)
    • Advanced Databases (ADB)
    • Hardware Side-Channels and Protected Enclave (HSP)
    • Euclidean Lattices for Cryptography (ELC)
    • Image Representation, Editing and Perception (REP)
    • Data Mining and Visualization (DMV)
    • Performance Evaluation using Queueing Networks (PQN)
    • Data and Knowledge Management (DKM)
    • Semantic-Rich Data Management (SDM)
    • High-Dimensional Statistical Learning (HDL)
    • Computer Graphics : Rendering and Modeling 3D Scenes (CG)
    • The Art Of Domain-Specific Languages: Let’s Hack Our Own Languages! (DSL)
    • Analysis, Interpretation and Recognition of 2D (touch) and 3D Gestures for New Man-Machine Interactions (AIR)
    • Big Data Storage and Processing Infrastructures (BSI)
    • Vocal and Acoustic Interactions (VAI)
    • Machine Learning (ML)
    • Game Theory and Applications (GTA)
    • Advanced Architectures (ADA)
    • Advanced Wireless Networks : 5G and beyond (AWN)
    • Virtual Reality and Multi-Sensory Interaction (VRI)
    • Motion for Animation and Robotics (MAR)
    • Software Security (SOS)
    • Secure Software Engineering (SEC)
    • Data Security for Intellectual Property and Privacy (SED)
    • Semantics (SEM)
    • Operating System Security (OSS)
    • SYSTEM SECURITY (Vannes)
    • Solvers Principles and Architectures (SPA)
    • Security Supervision (SUP)
    • Natural Language and Speech Automatic Processing (NLP)
    • Complex Systems Verification (CSV)
    • Computer Vision(CV)
    • Security Protocols (SEP)
    • Software evolution
    • Model Checking
    • Principles of Model Checking
    • Projet
    • Supervised Machine Learning
    • Model-Driven Engineering
Semester 2

  • Bibliography
  • Internship