Master of Science in Informatics at Paris 13 University
Speciality: Programming Tools and Safety
The specialty PLS aims to provide students with the basic elements
allowing them to work in the computer business or start research in a
laboratory or a company.
The training provides the basic techniques related to software
applications (development methodology and design, programming tools,
safety, including in a web environment) while studying the basic
concepts necessary (logics and interaction, automata, software
specification). These may be grouped, as follows:
• Fundamental courses
• Programming Languages and Integrated Development Environment (4 ECTS)
• Knowledge Representation (4 ECTS)
• Numerical Methods and Data Analysis (4 ECTS)
· Speciality courses
• Advanced Functional Programming (3 ECTS)
• Programs and Proofs (3 ECTS)
• High Level Petri Nets (3 ECTS)
• Complex Systems Spécification (3 ECTS)
· Cultural courses
• English (2 ECTS)
• Intellectual property (2 ECTS)
• Jobs in computer science (2 ECTS)
The electives courses may be chosen, in consultation with the student's
advisor,to meet the interdisciplinary and the speciality
distribution requirements. The full list of available courses may be
grouped, as follows:
• Deepening courses (1 or 2 choice among the list)
• Abstraction and Refinement (4 ECTS)
• Logics, Interaction and Complexity (4 ECTS)
• Adaptive Programming and Web Services (4 ECTS)
• Infinite, Timed, Hybrid and Stochastic Systems (4 ECTS)
• Complementary courses (1 or 2 choice among the list)
• Visual data mining (4 ECTS)
• Speech analytics (4 ECTS)
• Text mining (4 ECTS)
• Time series analysis (4 ECTS)
• Knowledge magement (4 ECTS)
• Human-machine interaction (4 ECTS)
• Social networks (4 ECTS)
• Bioinformatics (4 ECTS)
The fourth semester is targeted to the writing of a dissertation during an internship in either a laboratory or a company.
• Internship (company/laboratory) (18 ECTS)