Partager cette page :

Research and innovation thematic track

The research and innovation thematic track (track RI) is a track over the license and master degrees at the University of Rennes 1, co-managed with the ENS Rennes.

The pedagogical approach followed through this track focuses on learning how to make research: group work, seminars, self teaching through readings, central place given to projects going along with reports and defenses, training dedicated to presentations, visits of research facilities.

The track takes place over three years and each one is validated through the acquisition of a national diploma: the license of computer science the first year (L3), the master of computer science the second (M1) and third years (M2). This program constitutes a major training in theoretical computer science and offers several optional, complementary courses in mathematics and physics.

Organisation

École normale supérieure de Rennes Université de Rennes

1st year (L3 Level) :

The content of the first year builds up a solid foundation in theoretical computer science (algorithmic, logic and computability, programming, architecture of systems) as well as an introduction to research.

First semester

(mandatory courses)

  • Programmation 1 (PROG1)
  • Foundations of Computer Science 1 (FOND1): formal languages and computability theory
  • Algorithmic 1 (ALGO1)
  • Computer Architecture and Systems 1 (ARCSYS1)
  • Introduction to networks (IRES1)
  • English
  • Seminar

(optional courses)

  • Mathematics 1 (MATH1): (Lebesgue) integration, probabilities
  • Mathematics 4 (MATH4): symbolic computation and numerical optimization
  • Electromagnetism (ELMG)

Second semester

(mandatory courses)

  • Programmation 2 (PROG2)
  • Foundations of Computer Science 2 (FOND2): Logic
  • Algorithmic 2 (ALGO2)
  • Computer Architecture and Systems 2 (ARCSYS2)
  • Image processing (IMAGE)
  • Guest course (INVITE2): Cryptography
  • English
  • Seminar
  • Introduction to research (XTRA)
  • Introduction to research in France through an internship

(optional courses)

  • Mathematics 2 (MATH2)
The detailed content of these first year classes are available here (in French) : https://etudes.univ-rennes1.fr/licenceInformatique/themes/OrganisationEtudes/L3RI/Programm

Second year (M1 level):

First semester

(mandatory courses)

  • Compilation (COMP)
  • Operating Systems (SGP)
  • Research Project in collaboration with the IRISA
  • English
  • Seminar

(optionnal courses)

  • Analysis and Formal Design of Programs (ACF)
  • Semantics (SEM)
  • Advanced Algorithmic (AA)
  • Text Mining and Bio-Informatics (BIF)
  • Signal Processing (TS)
  • Antenna (ANT)

Second semester

(mandatory courses)

  • Principles of Networks (PRI)
  • Advanced Databases (BDA)
  • Introduction to research (XTRA2)
  • Research Project in collaboration with the IRISA
  • English
  • Seminar
  • Introduction to research abroad through an internship

(optionnal courses)

  • Operating Systems (SGM)
  • Formal Methods for Developping Certified Software (MFDS)
  • Embedded Systems Architecture (ASE)
  • Logic and Knowledge Representation (LRC)
  • Real Time Systems (STR)
  • Logic and Programmation by Constraints (PLC)
  • Modelling and Certifying using Automatas (MVFA)
  • Parallel and Distributed Programmation (PPAR)
  • Information Theory (TI)
  • Optics (OPT)
  • Guest Cours 2 (INVITE2)
The detailed content of these second year classes are available here (in French) : https://etudes.univ-rennes1.fr/masterInformatique/themes/PremiereAnnee/Programm

Third year (M2 level)


The content of the Research and Innovation track at level Master 2 is the second year of the Research in Computer Science Master (MRI) from the University of Rennes 1 (ISTIC / ENS Rennes).
http://master.irisa.fr/index.php/en/

Mise à jour le 22 décembre 2014