M1 Parisian Research Master in Computer Science (MPRI)
… and more generally for a research career. There are two available tracks: the ENS Paris-Saclay track and the Faculty of Science track. Both lead to the … and automatic demonstration; semantics of programming languages; analysis and verification of systems and …Published on: Fri 17/01/2020 - 11:40