Courses taken in ENS Rennes

First Master year

First semester

• COMP - Compilation.
• SEM - Semantics.
• CVFP - Modal logics.
• ACF - Software formal analysis and design.
• SGP - Operating system and process management.
• ANT - Antennas.
• TS - Sygnal processing.
• PROJ - Collective all-year project on cryptography.

Second semester

• PLC - Programming, logic and constraints.
• LRC - Logic and knowledge representation.
• MFDS - Formal methods for robust software development.
• PRI - Computer network protocols.
• TI - Information theory.
• BDA - Advanced Databases.
• MATH4 - Optimisation problems and algebra for cryptography
• OPT - Optics

Third Bachelor Year

• ALGO - Algorithmics
• PROG - Programming
• LF - Formal Languages
• LC - Logic and Calculability
• ARCSYS - Architecture and Systems
• IMA - Image
• XTRA - Introduction to research
• ELEC - Electromagnetism