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: ADMASM (Advanced Semantics)
Here is a link to the pige of the course: ASMCSV (Complex System Verification)
Here is a link to the page of the course: CSVMAD (Models and Algorithms for Distributed systems and softwares)
Here is a link to the page of the course: MADSEM (Semantics)
Analysis of semantics of simple languages with the theorem prover CoqSEP (Security Protocols)
Here is a link to the page of the course: SEPSOS (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: COBRAAST (Static analysis)
Program analysis, data flow controlTIC (Information theory)
Study of information theory and Shannon's theoremsAnglais
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 NetworkFond1
Formal languages and automataAlgo1
Basic AlgorithmicMath1
Lebesgue IntegrationMath4
Optimisation and CryptographySecurity
Forensic analysis on Android projectAnglais
English lessons