Master Informatique

Description

Ce cours est une introduction à la calculabilité où sera étudié les principales classes de complexité de problèmes, avec un focus particulier sur les problèmes NP-complets. L'approche se fera en lien avec la théorie des langages en utilisant des machines de Turing et des modèles plus classique d'algorithmique.

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Identifier un problème NP-complet
• Aborder sa résolution par utilisation de SAT solver
• Aborder sa résolution en utilisant un solveur linéaire

Mots-clés : Décidabilité, classes de complexité, problèmes NP-complets, solveurs

Compétence associée : Analyser et modéliser un système

• en identifiant les données, structurer et organiser celles-ci

Apprentissages critiques

• Etablir la complexité et la classe associée pour un programme

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Définir les différents niveaux de langage
• Réaliser la sémantique interprétative d'un langage
• Citer les paradigmes existants dans les langages de programmation
• Réaliser et prouver la validité des règles de compilations pour passer d'un langage à un autre
• Identifier les problèmes d'optimisation suivant l'architecture cibles

Mots-clés : compilateur, gramaires, préservation sémantique, sémantique interprétative

Compétence associée : Réaliser un système

• en identifiant et en choisissant le langage/paradigme de programmation approprié

Apprentissages critiques

• Comprendre et utiliser les principes d'interprétation d'un langage

Description

Ce module traite du processus de développement du logiciel et de la qualité du logiciel. Le module commence par présenter la notion qualité du logiciel (norme ISO 25010), puis nous abordons les cycles de vie du logiciel (en V et Agile). La méthode de développement SCRUM est ensuite détaillée, avec mise en pratique des outils de développement en Agile (gestion des projets en Agile, Intégration continue, suivi de la qualité du développement). Pour finir, nous verrons les fondements des tests logiciels, sur la base du syllabus ISTQB 4.0 incluant les aspects pratiques de différentes techniques de test logiciel et de leur automatisation.

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Créer un ensemble d'exigences pour un développement logiciel
• Définir et savoir mettre en place une stratégie de test
• Déployer l'approche de développement Agile (SCRUM) sur un projet
• Utiliser une chaine outillée de production logiciels et de mesure de qualité

Mots-clés : Génie logiciel, méthodes agiles, SCRUM, travail en équipe

Compétence associée : Gérer un projet en groupe et communiquer

• en planifiant les étapes du projet
• en mettant en place une organisation et en environnement technique
• en réalisant un suivi basé sur des éléments factuels types métriques

Apprentissages critiques

• Appliquer les méthodes de génie logiciel pour le pilotage de projets
• Utiliser une chaine outillée de production logiciels et en assurer la qualité

Description

Ce projet vise à mettre en oeuvre les concepts vu dans les modules de Génie Logiciel et de Compilation. Il permet à travers le travail effectué par groupe de plusieurs étudiants de réaliser un environnement complet de développement et d'exécution des langages servant d'illustration dans le cours de Compilation. La réalisation se fait suivant les principes de l'agilité et les outils professionnels de développement logiciel (gestionnaire de tickets, de version, intégration continue et de livraison continue).

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Réaliser et prouver la validité des règles de compilations pour passer d'un langage à un autre
• Réaliser la sémantique interprétative d'un langage
• Créer un ensemble d'exigences pour un développement logiciel
• Définir et savoir mettre en place une stratégie de test
• Déployer l'approche de développement Agile (SCRUM) sur un projet
• Utiliser une chaine outillée de production logiciels et de mesure de qualité
• Rédiger des documents (techniques) clairs et concis et les présenter

Mots-clés : Génie logiciel, compilateur, méthodes agiles, travail en équipe

Compétence associée : Réaliser un système

• en identifiant et en choisissant le langage/paradigme de programmation approprié

Apprentissages critiques

• Comprendre et utiliser les principes d'interprétation d'un langage

Description

Les étudiants qui suivent ce cours ont déjà reçu une formation de base en réseaux. Cette formation permet d'aborder des notions pratiques et largement utilisées dans les réseaux : VLAN, NAT, Réseaux sans fils, Proxy, IPv6, Internet des objets. Le cours permet d'aborder aussi l'ingénierie des réseaux, à savoir la conception et l'analyse d'un réseau de A à Z. Cela permet donc d'avoir une connaissance solide sur le fonctionnement des réseaux. Nous utilisons le modèle OSI pour aider à la compréhension des protocoles. Les travaux dirigés permettent de mettre en oeuvre la théorie du cours et les travaux pratiques se font sur des équipements réseaux réels mais aussi sur des émulateurs.

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Identifier et configurer les éléments actifs d'un réseau (routeur, commutateur...)
• Construire un plan IP
• Comprendre le fonctionnement et le cheminement des informations dans les réseaux suivant les protocoles
• Vérifier la validité d'un réseau

Mots-clés : NAT, proxy, VLAN, routage, protocoles

Compétence associée : Administrer des systèmes informatiques communicants complexes

• en mettant en place les éléments de sécurité et de sureté de fonctionnement du système
• en choisissant le type de réseaux et moyens de communications adéquat
• mettant en place les moyens d'identifier et d'anticiper les évolutions fonctionnelles et techniques
• en identifiant les besoins et les risques, administrer le système

Apprentissages critiques

• Structurer et configurer un réseau
• Comprendre l'acheminement et la représentation de l'information dans un réseau

Description

Ce module a pour objectif de donner les connaissances et les techniques pour être capable de développer une application mobile. La plateforme Android (Développement en Java avec Android Studio) est ciblée avec la mise à disposition de tablettes. Les solutions multi-plateformes (iOS, Android, etc.) et natives seront présentées, notamment les applications web progressives (PWA).

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Maîtriser la conception et la réalisation d'une application communicante pour plate-forme mobile
• Concevoir ou réutiliser une architecture MVC (Modèle Vue Contrôleur) ou ses variantes

Mots-clés : Android, Web mobile, framework

Compétence associée : Réaliser un système

• en lien avec des architectures spécifiques

Apprentissages critiques

• Maîtriser la conception et la réalisation d'une application communicante pour plate-forme mobile

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Développer une stratégie de résolution à l'aide de structure de données et d'algorithmes de traitements des graphes
• Identifier les problèmes assimilables à des problèmes de graphe
• Comparer les solutions (à l'aide de calcul de complexité)
• Rédiger des algorithmes à un niveau d’abstraction logico-mathématique

Mots-clés : Algorithm design, types of graphs, data structures, graph algorithms

Compétence associée : Analyser et modéliser un système

• en identifiant les données, structurer et organiser celles-ci
• en identifiant les processus et en établissant l'architecture répondant à ceux-ci
• en définissant les paradigmes adaptés à la gestion du problème

Apprentissages critiques

• Développer une stratégie de résolution à l'aide de structure de données et d'algorithmes de traitements des graphes
• Apporter des solutions efficaces à des problèmes combinatoires

Description

Ce cours est dédié à la thématique de l'intelligence artificielle (IA) telle qu'utilisée actuellement par les grandes entreprises et les laboratoires de recherche. Après un aperçu de l'historique et des origines de l'IA, les méthodes modernes d'apprentissage machine (machine learning) et d'apprentissage profond (deep learning) sont expliquées, les principaux algorithmes qui en constituent le fondement sont détaillés.

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Maîtriser le processus de gestion des données pour l'IA
• Comprendre les usages des différentes approches de classification et régression
• Analyser les résultats obtenus et le niveau de confiance dans ceux-ci
• Résoudre des problèmes de classification et de régression
• Savoir faire une veille des évolutions et usages des approches du cours

Mots-clés : machine learning, deep learning, Tensorflow, Pytorch, Keras

Compétence associée : Réaliser un système

• en utilisant une approche à base d'IA pour représenter ou traiter le problème

Apprentissages critiques

• Maîtriser le rôle des données pour l'IA
• Identifier et utiliser une méthode d'IA pour résoudre un problème

Description

Ce module s'attache à résoudre les interrogations suivantes : Quelle est la nature de la recherche ? Quels sont les fondements communs, indépendamment du domaine spécifique en informatique ? Comment mettre en œuvre une démarche de recherche ? Quels sont les moyens et ressources nécessaires, que ce soit la littérature grise ou les jeux de données ? Quelles sont les considérations éthiques à prendre en compte ? Les étudiants auront l'opportunité de mettre en pratique les concepts abordés dans ce questionnement, notamment l'analyse d'articles, la restitution de résultats, et la réalisation d'expérimentations reproductibles. Ils travailleront sur une thématique préalablement choisie en début d'année au sein du laboratoire FEMTO-ST, qui soutient ces enseignements.

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Savoir lire et analyser un article scientifique
• Identifier un ensemble de ressources bibliographiques en lien avec un sujet de recherche
• Comprendre les mécanismes et les principes de la recherche scientifique

Description

Le module prépare les étudiants au marché du travail avec des activités telles que le bilan de compétences, la recherche de stages, la préparation de CV et de lettres de motivation, ainsi que des simulations d'entretiens. L'objectif est de faciliter leur transition vers la carrière professionnelle.

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Maîtriser la recherche d'emploi et l'entretien d'embauche
• Veiller, se situer dans les différentes perspectives d'insertion professionnelle
• Communiquer de manière appropriée en milieu professionnel
• Gérer en autonomie son projet personnel et professionnel

Compétence associée : Identifier et connaître son milieu professionnel

• en identifiant des contextes professionnels variés ou complexes, se situer
• en tenant compte des métiers savoir s'évaluer

Apprentissages critiques

• Se situer et ajuster son positionnement dans les différentes perspectives d'insertion professionnelle
• Gérer en autonomie son projet personnel et professionnel

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Maîtriser la programmation des applications en réseau, pour les systèmes client(s)/serveur(s)
• Maîtriser le processus de conception et de développement d'un protocole de communication
• Maîtriser le développement des application concurrentes
• Réaliser les différents types de synchronisation compétitive et coopérative

Compétence associée : Réaliser un système

• en lien avec des architectures spécifiques
• en implémentant le système pour en garantir la synchronisation et les interactions

Apprentissages critiques

• Maitriser et gérer la concurrence dans les applications centralisées
• Développer des applications communicantes

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Connaître les différents paradigmes de langages de spécification pour l'annotation de programmes
• Utiliser les langages de spécification pour annoter et prouver des petits programmes
• Positionner les activités de preuves et de test de programme
• Savoir intégrer la démarche dans le développement de programmes (C et Java)

Mots-clés : vérification déductive, logique de hoare, spécification par contrats, outils de preuve

Compétence associée : Analyser et modéliser un système

• en choisissant une modélisation assurant la sécurité/sûreté/efficacité du système et des données

Apprentissages critiques

• Concevoir et mettre en oeuvre un projet à partir d'une modélisation formelle

Description

L'objectif du module est d'étudier l'articulation du secteur de l'informatique et des technologies du numérique vis-à-vis des différentes crises environnementales et sociétales que connaît le monde actuel. Par l'étude de différentes techniques sous l'angle éthique, le module explore différents outils, leurs impacts, ainsi que des approches pour y remédier. Le module s'inscrit dans une logique actuelle face aux enjeux contemporains, mais aussi de prospection et d'anticipation afin de former les étudiants aux problématiques naissantes et les solutions qui commencent à se dessiner.

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• introduire aux impacts éthiques (environnementaux, sociétaux et sanitaires) dans le secteur de l'informatique
• former aux outils de mesures et de réduction des impacts environnementaux
• construire une vision critique éclairée sur les discours officiels et médiatiques sur le numérique
• préparer aux métiers du domaine dans un futur où les contraintes de disponibilité sont devenues fortes
• comprendre des problématiques complexes de durabilité dans le numérique

Compétence associée : Identifier et connaître son milieu professionnel

• en appréhendant des problématiques complexes de durabilité dans le numérique

Apprentissages critiques

• Construire une vision critique de l'impact du numérique sur l'environnement

Description

Le module a pour but d'introduire à quelques techniques permettant de concevoir des algorithmes d'approximation pour des problèmes d'optimisation. On s'intéressera également aux techniques de preuve que l'on peut déployer pour analyser ces algorithmes. Dans un second temps, on abordera le contexte de l'ordonnancement sur systèmes distribués en appliquant certains de ces résultats et en s'intéressant aux spécificités de ces systèmes.

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Concevoir et analyser des algorithmes d'approximation pour des problèmes d'optimisation combinatoire
• Mettre en place des approches algorithmiques pour l'ordonnancement dans le contexte des systèmes parallèles

Description

Ce module aborde le langage et la communication avancés associés à la lecture et à la rédaction de textes et de documents scientifiques, techniques et d'ingénierie, ainsi qu'à la présentation d'exposés oraux. L'accent sera mis sur les sujets relatifs à l'informatique, y compris le vocabulaire approprié pour les logiciels, le matériel, les systèmes, l'intelligence artificielle, etc. Les principaux sujets abordés sont les suivants : rédaction scientifique et technique, astuces pour une lecture efficace de documents techniques en anglais, compétences en matière de présentation orale, anglais professionnel, vocabulaire et terminologie informatiques spécialisés, préparation à un test de maîtrise de la langue anglaise (par exemple TOEIC)

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Communiquer à l'écrit et à l'oral dans un environnement professionnel (réalisation de poster, présentation orale, discussion de travail)
• Connaitre le format des épreuves certificatives, les situations présentées, le vocabulaire utilisé
• Mettre en oeuvre un programme d'entraînement régulier

Compétence associée : Gérer un projet en groupe et communiquer

• en communiquant (en langue anglaise) à l’oral et à l'écrit et en élaborant des documents techniques et/ou réglementaires dans cette langue

Apprentissages critiques

• Communiquer en langue anglaise dans le cadre professionnel

Description

Les conférences sont réalisées par des professionnels de l'informatique lors de 6 sessions d'une demi-journée, qui sont complétées par deux ateliers d'une demi-journée également. Les conférences ont pour vocation soit de présenter un domaine technologique de l'informatique d'intérêt pour les étudiants du Master, soit de témoigner d'un parcours professionnel, de rôles et d'activités permettant aux étudiants d'appréhender de façon plus précise les différentes carrières et métier de l'informatique. Les ateliers visent à projeter l'étudiant dans le contexte professionnel, tel que décrit par les conférenciers, afin de dresser un bilan de leurs propres motivations et compétences, et de s'exercer aux techniques de communication pour les valoriser dans le cadre d'une recherche de stage ou d'emploi.

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Appréhender différents contextes de l'Informatique et d'intérêt pour les étudiants, tels que la mise en œuvre de politique de sécurité Informatique, les pratiques du test logiciel, ou les pratiques de l'agilité
• Appréhender les parcours de carrière autour des métiers d'ingénieur de développement logiciel, d'ingénieur test de logiciel et de chef de projet
• Collecter et organiser les preuves de ses motivations et compétences afin de mieux valoriser son profil et rendre sa communication plus performante dans le cadre d'une recherche de stage ou d'emploi

Compétence associée : Identifier et connaître son milieu professionnel

• en identifiant des contextes professionnels variés ou complexes, se situer

Apprentissages critiques

• Connaître son environnement professionnel

Objectifs pédagogiques

A l'issue du module, l'étudiant(e) sera capable de :

• Décrire une solution technique à un problème concret.

Compétence associée : Identifier et connaître son milieu professionnel

• en mobilisant les savoirs informatiques pouvoir répondre aux besoins du client

Apprentissages critiques

• Mener un projet informatique complexe à plusieurs

Description

Stage en entreprise (finalité professionnelle) ou en laboratoire (finalité recherche)

Compétence associée : Identifier et connaître son milieu professionnel

• en maintenant une veille sur les évolutions technologiques et scientifiques

Apprentissages critiques

• S’initier à une démarche scientifique