Semestre 9 - Algorithmes et méthodes formelles (AMF)

Voir la page complète

Majeure en algorithmique avancée, mineure en vérification logicielle

Voir la page complète

Voir la page complète

être initié au processus de production, de diffusion et de valorisation des connaissances.


Savoir se remettre en question, faire preuve d'esprit critique
Construire et développer une argumentation.
Savoir construire et rédiger un état de l'art


Connaître et mettre en application les principaux modèles mathématiques intervenant dans les différentes disciplines connexes du domaine Sciences et Technologies mais aussi des autres domaines
Maîtriser les bases de la logique et organiser un raisonnement mathématique.
Concevoir des algorithmes avancés dans son domaine de spécialisation, et savoir les programmer
Comprendre et traduire sous forme algorithmique la spécification mathématique d'une méthode de son domaine de spécialisation

Voir la page complète

Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée


Concevoir des algorithmes avancés dans son domaine de spécialisation, et savoir les programmer
Utiliser les bibliothèques et outils logiciels usuels de son domaine de spécialisation
Comprendre et traduire sous forme algorithmique la spécification mathématique d'une méthode de son domaine de spécialisation
Implémenter et/ou comparer les méthodes de l'état de l'art dans son domaine de spécialisation
Comprendre une preuve de correction d'algorithme (e.g., variants/invariants, induction, convergence)

Voir la page complète

Travailler en équipe dans différents contextes, y compris avec des personnes issues de disciplines différentes : s'intégrer, se positionner, collaborer, communiquer et rendre compte.
être initié au processus de production, de diffusion et de valorisation des connaissances.
Travailler en équipe autant qu'en autonomie et responsabilité au service d'un projet


Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Rédiger des documents de travail ( rapports, notes de synthèse...) adaptés aux personnes et situations rencontrées et appropriés aux organisations et structures concernées
Savoir se remettre en question, faire preuve d'esprit critique
S'organiser individuellement, gérer son temps et ses priorités, planifier s'autoévaluer
être autonome dans l'activité d'écriture et montrer à cette occasion sa capacité à communiquer sa pensée, à raisonner et à organiser ses connaissances.
Construire et développer une argumentation.
Manager les ressources techniques d'un projet, planification des activités
Exposer oralement un projet... maîtriser les outils de la communication : expression - communication, négociation, conduite de réunion


Identifier les limites de l'informatique en termes de calculabilité et de complexité
Modéliser une situation concrète en un énoncé formel au moyen d'outils (e.g., automates, langages, grammaires, graphes)
Maîtriser les bases du raisonnement probabiliste savoir mettre en œuvre une démarche statistique pour le traitement des données.
Construire et rédiger une démonstration mathématique synthétique et rigoureuse.
être capable de traduire un problème simple en langage mathématique.
Concevoir des algorithmes avancés dans son domaine de spécialisation, et savoir les programmer
Utiliser les bibliothèques et outils logiciels usuels de son domaine de spécialisation
Comprendre et traduire sous forme algorithmique la spécification mathématique d'une méthode de son domaine de spécialisation
Implémenter et/ou comparer les méthodes de l'état de l'art dans son domaine de spécialisation
Comprendre une preuve de correction d'algorithme (e.g., variants/invariants, induction, convergence)

Voir la page complète

Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Construire et développer une argumentation.
être autonome dans l'activité d'écriture et montrer à cette occasion sa capacité à communiquer sa pensée, à raisonner et à organiser ses connaissances.


Maîtriser les bases de la logique et organiser un raisonnement mathématique.
Connaître et mettre en application les principaux modèles mathématiques intervenant dans les différentes disciplines connexes du domaine Sciences et Technologies mais aussi des autres domaines
Construire et rédiger une démonstration mathématique synthétique et rigoureuse.
être capable de traduire un problème simple en langage mathématique.
Identifier les limites de l'informatique en termes de calculabilité et de complexité
Modéliser une situation concrète en un énoncé formel au moyen d'outils (e.g., automates, langages, grammaires, graphes)
Concevoir des algorithmes avancés dans son domaine de spécialisation, et savoir les programmer
Comprendre et traduire sous forme algorithmique la spécification mathématique d'une méthode de son domaine de spécialisation

Voir la page complète

être initié au processus de production, de diffusion et de valorisation des connaissances.
Etre capable de communiquer des résultats à l'écrit et à l'oral en français et en anglais
Assurer une veille scientifique et professionnelle
Etre capable de communiquer des résultats à l'écrit et à l'oral
Etre capable d'adapter les modèles théoriques à un objet de recherche ou aux réalités de terrain.



Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Savoir construire et rédiger un état de l'art
Rédiger des documents de travail ( rapports, notes de synthèse...) adaptés aux personnes et situations rencontrées et appropriés aux organisations et structures concernées
être autonome dans l'activité d'écriture et montrer à cette occasion sa capacité à communiquer sa pensée, à raisonner et à organiser ses connaissances.
Construire et développer une argumentation.



Connaître et mettre en application les principaux modèles mathématiques intervenant dans les différentes disciplines connexes du domaine Sciences et Technologies mais aussi des autres domaines
Construire et rédiger une démonstration mathématique synthétique et rigoureuse.
être capable de traduire un problème simple en langage mathématique.
Maîtriser les bases de la logique et organiser un raisonnement mathématique.
Identifier les limites de l'informatique en termes de calculabilité et de complexité
Modéliser une situation concrète en un énoncé formel au moyen d'outils (e.g., automates, langages, grammaires, graphes)
Concevoir des algorithmes avancés dans son domaine de spécialisation, et savoir les programmer
Comprendre et traduire sous forme algorithmique la spécification mathématique d'une méthode de son domaine de spécialisation
Implémenter et/ou comparer les méthodes de l'état de l'art dans son domaine de spécialisation
Comprendre une preuve de correction d'algorithme (e.g., variants/invariants, induction, convergence)
Ecrire une preuve de correction d'algorithme

Voir la page complète

Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Construire et développer une argumentation.


Concevoir et planifier un réseau informatique de petite ou moyenne taille
Développer une application réseaux/distribuée/P2P
Construire et rédiger une démonstration mathématique synthétique et rigoureuse.
Modéliser une situation concrète en un énoncé formel au moyen d'outils (e.g., automates, langages, grammaires, graphes)

Voir la page complète

Connaître le ou les champs professionnel(s) associé(s) à la discipline.
être initié au processus de production, de diffusion et de valorisation des connaissances.
Etre capable de communiquer des résultats à l'écrit et à l'oral en français et en anglais
Maitriser l'expression écrite et orale en anglais


Maîtriser l'expression orale et écrite de la langue anglaise et ses techniques d'expression
Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Savoir construire et rédiger un état de l'art
Savoir se remettre en question, faire preuve d'esprit critique
S'organiser individuellement, gérer son temps et ses priorités, planifier s'autoévaluer
être autonome dans l'activité d'écriture et montrer à cette occasion sa capacité à communiquer sa pensée, à raisonner et à organiser ses connaissances.
Exposer oralement un projet... maîtriser les outils de la communication : expression - communication, négociation, conduite de réunion


Maîtriser les bases de la logique et organiser un raisonnement mathématique.
être capable de traduire un problème simple en langage mathématique.
Analyser un document scientifique ou technique (y compris du code), en français ou en anglais, en vue de son utilisation dans un contexte informatique
Implémenter et/ou comparer les méthodes de l'état de l'art dans son domaine de spécialisation
Comprendre une preuve de correction d'algorithme (e.g., variants/invariants, induction, convergence)

Voir la page complète

Connaître le ou les champs professionnel(s) associé(s) à la discipline.
être initié au processus de production, de diffusion et de valorisation des connaissances.
Etre capable de communiquer des résultats à l'écrit et à l'oral en français et en anglais
Maitriser l'expression écrite et orale en anglais


Maîtriser l'expression orale et écrite de la langue anglaise et ses techniques d'expression
Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Savoir construire et rédiger un état de l'art
Construire et développer une argumentation.


Analyser un document scientifique ou technique (y compris du code), en français ou en anglais, en vue de son utilisation dans un contexte informatique

Voir la page complète

Majeure en vérification logicielle, mineure en algorithmique avancée.

Voir la page complète

Voir la page complète

être initié au processus de production, de diffusion et de valorisation des connaissances.
Etre capable de communiquer des résultats à l'écrit et à l'oral en français et en anglais
Assurer une veille scientifique et professionnelle
Etre capable de communiquer des résultats à l'écrit et à l'oral
Etre capable d'adapter les modèles théoriques à un objet de recherche ou aux réalités de terrain.



Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Savoir construire et rédiger un état de l'art
Rédiger des documents de travail ( rapports, notes de synthèse...) adaptés aux personnes et situations rencontrées et appropriés aux organisations et structures concernées
être autonome dans l'activité d'écriture et montrer à cette occasion sa capacité à communiquer sa pensée, à raisonner et à organiser ses connaissances.
Construire et développer une argumentation.



Connaître et mettre en application les principaux modèles mathématiques intervenant dans les différentes disciplines connexes du domaine Sciences et Technologies mais aussi des autres domaines
Construire et rédiger une démonstration mathématique synthétique et rigoureuse.
être capable de traduire un problème simple en langage mathématique.
Maîtriser les bases de la logique et organiser un raisonnement mathématique.
Identifier les limites de l'informatique en termes de calculabilité et de complexité
Modéliser une situation concrète en un énoncé formel au moyen d'outils (e.g., automates, langages, grammaires, graphes)
Concevoir des algorithmes avancés dans son domaine de spécialisation, et savoir les programmer
Comprendre et traduire sous forme algorithmique la spécification mathématique d'une méthode de son domaine de spécialisation
Implémenter et/ou comparer les méthodes de l'état de l'art dans son domaine de spécialisation
Comprendre une preuve de correction d'algorithme (e.g., variants/invariants, induction, convergence)
Ecrire une preuve de correction d'algorithme

Voir la page complète

Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Construire et développer une argumentation.


Concevoir et planifier un réseau informatique de petite ou moyenne taille
Développer une application réseaux/distribuée/P2P
Construire et rédiger une démonstration mathématique synthétique et rigoureuse.
Modéliser une situation concrète en un énoncé formel au moyen d'outils (e.g., automates, langages, grammaires, graphes)

Voir la page complète

Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Savoir se remettre en question, faire preuve d'esprit critique
Construire et développer une argumentation.


Connaître et mettre en application les principaux modèles mathématiques intervenant dans les différentes disciplines connexes du domaine Sciences et Technologies mais aussi des autres domaines
Maîtriser les bases de la logique et organiser un raisonnement mathématique.
être capable de traduire un problème simple en langage mathématique.
Connaître les principaux paradigmes de programmation et sélectionner un langage adapté à une situation donnée
Identifier les limites de l'informatique en termes de calculabilité et de complexité
Modéliser une situation concrète en un énoncé formel au moyen d'outils (e.g., automates, langages, grammaires, graphes)
Comprendre une preuve de correction d'algorithme (e.g., variants/invariants, induction, convergence)

Voir la page complète

Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Savoir se remettre en question, faire preuve d'esprit critique
Construire et développer une argumentation.


Connaître et mettre en application les principaux modèles mathématiques intervenant dans les différentes disciplines connexes du domaine Sciences et Technologies mais aussi des autres domaines
Maîtriser les bases de la logique et organiser un raisonnement mathématique.
Construire et rédiger une démonstration mathématique synthétique et rigoureuse.
être capable de traduire un problème simple en langage mathématique.
Connaître les principaux paradigmes de programmation et sélectionner un langage adapté à une situation donnée
Modéliser une situation concrète en un énoncé formel au moyen d'outils (e.g., automates, langages, grammaires, graphes)
Comprendre une preuve de correction d'algorithme (e.g., variants/invariants, induction, convergence)
Ecrire une preuve de correction d'algorithme

Voir la page complète

Voir la page complète

Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Construire et développer une argumentation.
être autonome dans l'activité d'écriture et montrer à cette occasion sa capacité à communiquer sa pensée, à raisonner et à organiser ses connaissances.


Maîtriser les bases de la logique et organiser un raisonnement mathématique.
Connaître et mettre en application les principaux modèles mathématiques intervenant dans les différentes disciplines connexes du domaine Sciences et Technologies mais aussi des autres domaines
Construire et rédiger une démonstration mathématique synthétique et rigoureuse.
être capable de traduire un problème simple en langage mathématique.
Identifier les limites de l'informatique en termes de calculabilité et de complexité
Modéliser une situation concrète en un énoncé formel au moyen d'outils (e.g., automates, langages, grammaires, graphes)
Concevoir des algorithmes avancés dans son domaine de spécialisation, et savoir les programmer
Comprendre et traduire sous forme algorithmique la spécification mathématique d'une méthode de son domaine de spécialisation

Voir la page complète

Travailler en équipe dans différents contextes, y compris avec des personnes issues de disciplines différentes : s'intégrer, se positionner, collaborer, communiquer et rendre compte.
être initié au processus de production, de diffusion et de valorisation des connaissances.
Travailler en équipe autant qu'en autonomie et responsabilité au service d'un projet


Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Rédiger des documents de travail ( rapports, notes de synthèse...) adaptés aux personnes et situations rencontrées et appropriés aux organisations et structures concernées
Savoir se remettre en question, faire preuve d'esprit critique
S'organiser individuellement, gérer son temps et ses priorités, planifier s'autoévaluer
être autonome dans l'activité d'écriture et montrer à cette occasion sa capacité à communiquer sa pensée, à raisonner et à organiser ses connaissances.
Construire et développer une argumentation.
Manager les ressources techniques d'un projet, planification des activités
Exposer oralement un projet... maîtriser les outils de la communication : expression - communication, négociation, conduite de réunion


Identifier les limites de l'informatique en termes de calculabilité et de complexité
Modéliser une situation concrète en un énoncé formel au moyen d'outils (e.g., automates, langages, grammaires, graphes)
Maîtriser les bases du raisonnement probabiliste savoir mettre en œuvre une démarche statistique pour le traitement des données.
Construire et rédiger une démonstration mathématique synthétique et rigoureuse.
être capable de traduire un problème simple en langage mathématique.
Concevoir des algorithmes avancés dans son domaine de spécialisation, et savoir les programmer
Utiliser les bibliothèques et outils logiciels usuels de son domaine de spécialisation
Comprendre et traduire sous forme algorithmique la spécification mathématique d'une méthode de son domaine de spécialisation
Implémenter et/ou comparer les méthodes de l'état de l'art dans son domaine de spécialisation
Comprendre une preuve de correction d'algorithme (e.g., variants/invariants, induction, convergence)

Voir la page complète

être initié au processus de production, de diffusion et de valorisation des connaissances.


Savoir se remettre en question, faire preuve d'esprit critique
Construire et développer une argumentation.
Savoir construire et rédiger un état de l'art


Connaître et mettre en application les principaux modèles mathématiques intervenant dans les différentes disciplines connexes du domaine Sciences et Technologies mais aussi des autres domaines
Maîtriser les bases de la logique et organiser un raisonnement mathématique.
Concevoir des algorithmes avancés dans son domaine de spécialisation, et savoir les programmer
Comprendre et traduire sous forme algorithmique la spécification mathématique d'une méthode de son domaine de spécialisation

Voir la page complète

Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée


Concevoir des algorithmes avancés dans son domaine de spécialisation, et savoir les programmer
Utiliser les bibliothèques et outils logiciels usuels de son domaine de spécialisation
Comprendre et traduire sous forme algorithmique la spécification mathématique d'une méthode de son domaine de spécialisation
Implémenter et/ou comparer les méthodes de l'état de l'art dans son domaine de spécialisation
Comprendre une preuve de correction d'algorithme (e.g., variants/invariants, induction, convergence)

Voir la page complète

Connaître le ou les champs professionnel(s) associé(s) à la discipline.
être initié au processus de production, de diffusion et de valorisation des connaissances.
Etre capable de communiquer des résultats à l'écrit et à l'oral en français et en anglais
Maitriser l'expression écrite et orale en anglais


Maîtriser l'expression orale et écrite de la langue anglaise et ses techniques d'expression
Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Savoir construire et rédiger un état de l'art
Savoir se remettre en question, faire preuve d'esprit critique
S'organiser individuellement, gérer son temps et ses priorités, planifier s'autoévaluer
être autonome dans l'activité d'écriture et montrer à cette occasion sa capacité à communiquer sa pensée, à raisonner et à organiser ses connaissances.
Exposer oralement un projet... maîtriser les outils de la communication : expression - communication, négociation, conduite de réunion


Maîtriser les bases de la logique et organiser un raisonnement mathématique.
être capable de traduire un problème simple en langage mathématique.
Analyser un document scientifique ou technique (y compris du code), en français ou en anglais, en vue de son utilisation dans un contexte informatique
Implémenter et/ou comparer les méthodes de l'état de l'art dans son domaine de spécialisation
Comprendre une preuve de correction d'algorithme (e.g., variants/invariants, induction, convergence)

Voir la page complète

Connaître le ou les champs professionnel(s) associé(s) à la discipline.
être initié au processus de production, de diffusion et de valorisation des connaissances.
Etre capable de communiquer des résultats à l'écrit et à l'oral en français et en anglais
Maitriser l'expression écrite et orale en anglais


Maîtriser l'expression orale et écrite de la langue anglaise et ses techniques d'expression
Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
Savoir construire et rédiger un état de l'art
Construire et développer une argumentation.


Analyser un document scientifique ou technique (y compris du code), en français ou en anglais, en vue de son utilisation dans un contexte informatique

Voir la page complète

Voir la page complète

Spécification et modélisation formelles du logiciel. Le model-checking comme outil de preuve.

Voir la page complète

Maîtriser les concepts fondamentaux de la spécification et de la preuve formelle de programme.
Acquérir des compétences pratiques dans ce domaine, en particulier une initiation au langage de spécification ACSL et à l'utilisation de la plateforme FramaC.

Voir la page complète