Forth Year at ENS Rennes (Second Year of Master in Computer Science) 2019-2020

ADM (Making data speak: advanced probabilistic Aata Analysis and Modeling)
Here is a link to the page of the course: ADM
ASM (Advanced Semantics)
Here is a link to the pige of the course: ASM
CSV (Complex System Verification)
Here is a link to the page of the course: CSV
MAD (Models and Algorithms for Distributed systems and softwares)
Here is a link to the page of the course: MAD
SEM (Semantics)
Analysis of semantics of simple languages with the theorem prover Coq
SEP (Security Protocols)
Here is a link to the page of the course: SEP
SOS (Software Security)
Here is a link to the page of the course: SOS

Second Year at ENS Rennes (First Year of Master in Computer Science) 2017-2018

First Semester


GTA (Game Theory and Applications)
Simple games, Repeated games, Routing games, Auctions
SPA (Solver Principles and Architecture)
Here is a link to the page of the course: SPA
THX (Theory of Complexity)
Study of complexity class like P, NP, PSPACE, LOGSPACE, NLOGSPACE,...
MVFA (Modelling and Formal Verification with Automata)
Here is a link to the page of the course: MVFA
PDS (Syntax Directed Programmation)
Compilation: Project Compiler in OCaml from VSL+ to LLVM
ACF (Analyse and Formal Design)
Here is a link to the page of the course: ACF
Anglais
Preparation for the TOEIC

Second Semester


BDA (Advanced database)
Study of database from a practical point of view (e.g. SQL) and from a theoretical point of view (e.g. complexity of query langage)
LRC (Logic and knowledge representation)
Study of modal logic, epistemic logic, temporal logic, voting.
COBRA (Combinatorial optimisation and related algorithm)
Study of linear programming and backtracking, approximation algorithm. Here is a link to the page of the course: COBRA
AST (Static analysis)
Program analysis, data flow control

TIC (Information theory)
Study of information theory and Shannon's theorems
Anglais
Preparation for the TOIEC

First year at ENS Rennes (Third Year of Bachelor Degree) 2016-2017

First semester


Prog1
Functional programming (OCaml) et Object Oriented programming (Scala)
Arcsys1
System (OS UNIX, C programmation ) and Network
Fond1
Formal languages and automata
Algo1
Basic Algorithmic
Math1
Lebesgue Integration
Math4
Optimisation and Cryptography
Security
Forensic analysis on Android project
Anglais
English lessons

Second semester


Prog2
Advanced programmation (C++ and Lisp/Scheme)
Algo2
Advanced Algorithmic
Arcsys2
Architecture and Assembly
Fond2
Logic (propositional and first order)
Math2_1
Applied statistic
Math2_2
Theoretical course on probability
Image
Programmation OpenGL, 3D modeling, animation
Anglais
English lessons