2010 / 2011

ENS Cachan, Brittany Extension - MIT2 / University of Rennes 1 - Computer Science Master 1.

Second Semester :

    • AASR : Algorithmic approach to distributed systems. Michel Raynal and Achour Mostefaoui.
    • VVF : Formal check and Validation. Sophie Pinchinat and Thomas Genand.
    • TI : Information Theory. Aline Roumy.
    • Math4 : Numerical optimization ; cryptography and primality. Rozenn Texier-Picard and Jérémy Leborgne.
    • BDA : Avdvance Databases. Virginie Sans.
    • Optique : Introduction to LASER's physic. Olivier Emile.
    • REPR : Nandworks and protocols. Cesar Viho.
    • XTRA : Research training. Sophie Pinchinat and Thomas Genand.
    • English.
    • PROJ : Collective development project. Sophie Pinchinat.

First Semester :

    • SEM : Semantic. David Cachera.
    • ELEC1 : Radiating systems and antennas. Ronan Sauleau.
    • TS : Signal theory and filtering. Jean-Jacques Bellanger.
    • ACO : Object analysis and conception. Noël Plouzeau.
    • COMP : Compilation. Sébastien Ferre.
    • MEPS : Performance evaluation modeling and dependability analysis. Bruno Sericola and Bruno Tuffin.
    • XTRA : Research training . Sophie Pinchinat and Thomas Genand.
    • English.
    • PROJ : Collective development project. Sophie Pinchinat.

2009 / 2010

ENS Cachan, Brittany Extension - MIT1 / University of Rennes 1.

Second Semester :

    • Prog2 : Algorithms and advanced programming. Luc Bougé.
    • Algo2 : Advanced algorithms. David Cachera.
    • LC : Logic and computability. David Cachera.
    • ArcSys2 : Architecture and operating systems. Dominique Lavenier.
    • IMA : Image analysis. Fabrice Lamarche and Patrick Perez.
    • MATH2 : Probability theory and statistics. François Coquand.
    • XTRA : Research training. David Cachera.
    • ELC : Electronics. Eric Pottier.
    • English.

First Semester :

    • Prog1 : Introduction to programming. Luc Bougé.
    • Algo1 : Algorithms. Claude Jard.
    • LF : Formal languages. Anne Bouillard.
    • CRES : Introduction to nandwork theory and protocols. Claude Jard.
    • ArcSys1 : Architecture and operating systems. Dominique Lavenier.
    • Maths1 : Integration and Fourier transformation. Grégory Vial.
    • ELMG : Electromagnandism and optics. Guillaume Delanoy.
    • English.