L'objectif de ce module est d'introduire les concepts clés liés à la vérification formelle des systèmes logiciels et matériels.

Ce module présente la vérification des systèmes monolithiques et multi-agents. Les aspects suivants sont abordés :

- Introduction et rôle de la vérification dans le processus de développement.

- Modélisation des systèmes monolithiques et multi-agents.

- Logiques temporelles et stratégiques pour exprimer des propriétés vérifiables.

- Vérification par Model Checking.

Cette unité d'enseignement est conçue pour les étudiants souhaitant approfondir leur compréhension des structures de données et des algorithmes associés des problèmes de mathématique discrète à travers une série d'études de cas et d'exemples pratiques, qui feront l'objet d'une présentation en classe suivie d'une séance consacrée à son implémentation.

L'UE de SR2I309 est une UE qui permet de reprendre plusieurs domaines de la cybersécurité et d'apprendre à les appliquer et les adapter au contexte de la sécurité des données dans le cloud. Aujourd'hui, une très vaste majorité de nos réseaux et services passent par le cloud, que ce soit pour les données personnels des individus, les données sensibles des entreprises, mais aussi les données de signalisation (comme par exemple dans les réseaux 5G).

Remise à niveau en mathématique pour une meilleure compréhension technique des cours qui constituent le parcours du Mastère Spécialisé SSIR (notamment : modèles mathématiques et algorithmes pour la cryptographie.

Dans un contexte où les technologies numériques évoluent rapidement et où les ingénieurs sont de plus en plus confrontés à des problématiques complexes et pluridisciplinaires nécessitant une compréhension des aspects juridiques, ce cours vise à fournir aux élèves-ingénieurs les compétences nécessaires pour naviguer dans ce paysage complexe. La numérisation affecte presque tous les aspects de notre vie quotidienne, de la communication et la finance à la santé et l'éducation. En conséquence, les ingénieurs doivent non seulement être capables de concevoir et de mettre en œuvre des solutions technologiques, mais aussi de comprendre les implications juridiques et éthiques de leurs créations.

Le cours est construit comme une « aventure pédagogique » où les étudiants sont placés dans la peau d’un ingénieur du numérique confronté au droit. La classe rencontrera, lors de chaque séance, une problématique nouvelle, bénéficiera d’explications théoriques pour pouvoir y répondre, puis se terminera par une mise en situation.

Le cours permettra d'aborder les principaux enjeux juridiques auxquels que rencontrera un ingénieur du numérique : protection des données, régulation de l'IA, cybersécurité...

Dans la plupart des systèmes complexes, tels que les conçoivent les ingénieurs, il y a une composante humaine, que ce soit dans au coeur des systèmes en tant qu’élément constitutif, ou en sortie de ces systèmes (utilisateurs). Aborder un problème par la technique n’est pas suffisant, il faut aussi comprendre et intégrer le « facteur humain ». 

Dans cet UE, on parcourra dans un premier temps l’histoire de la prise en compte des humains dans les systèmes socio-techniques de travail, et ses évolutions contemporaines. Il s’agira de comprendre les modes de relations entre humains et technologies. Le cours abordera ensuite les principaux processus cognitifs humains, dont la compréhension s’avère nécessaires pour concevoir des interactions humains-machine : mémoire, attention, perception, émotions, collaboration. Un point particulier sera fait sur la notion controversée d’ « erreur humaine ». Le cours se terminera sur les modalités de la prise en compte des humains dans les processus de conception, d’une part en en comprenant les avantages autour d’études de cas, et d’autre part en décrivant les principes et méthodes principales de la prise en compte des humains dans la conception : design centré utilisateurs, design thinking, design participatif. Dans le numérique contemporain, l'ergonomie, le UX et même l'iA impliquent l’analyse des données des utilisateurs en masse, ainsi que la création de ‘metrics’ pour définir et décrire tant des activités humaines, une pratique qui pose des questions éthiques et socio-politiques . Dans ce contexte, la dimension éthique de l’étude et de la mesure des rapports humains-machines, sera abordée tout au long de l’UE, et de manière transversale. 

Ce cours offre une exploration complète des concepts et techniques essentiels à la compréhension approfondie des nuages de points 3D, couvrant leur acquisition, leur traitement et leur visualisation, ainsi que les fondements mathématiques et algorithmiques sous-jacents. Les séances spécifiques aborderons successivement la perception 3D, les capteurs et l'étalonnage, le recalage et la consolidation, la description locale des courbes et surfaces, le rendu de nuages de points et de maillages, la reconstruction de courbes et surfaces, la modélisation et la segmentation, et enfin l'application de l'apprentissage profond aux nuages de points 3D. Le cours comprend également des séances pratiques et des projets pour renforcer la compréhension théorique par des applications concrètes.

• Ce cours est une introduction à l'art du débat, à ses formats, à ses règles et à son esprit. Diverses activités permettront aux étudiants de développer leurs compétences pour les joutes oratoires, y compris la rédaction de discours, la prise de parole en public, l'écoute active, la pensée critique, la créativité, la réactivité, le travail d'équipe, et bien plus encore. Ce cours présentera différents styles de débat, mais se concentrera principalement sur le style de la FDA (Association Française de Débat) afin de former les participants aux débats internes et externes. Les étudiants inscrits au cours Intro to Debating peuvent également se présenter pour faire partie de l'équipe de débat de l'école, qui se confronte à d'autres écoles lors du tournoi annuel de débat de la FDA, dont la finale se déroule à l'Assemblée nationale. Les étudiants qui souhaitent participer à l'équipe de débat sont encouragés à s'inscrire au cours de Advanced Debating Techniques en semestre deux.

X marque l'endroit ! Participez à cette chasse semestrielle pour trouver des trésors historiques, littéraires, philosophiques, de la culture pop et d'aujourd'hui, liés au monde anglophone. Dans ce cours, nous explorerons des sujets tels que la ruée vers l'or en Californie et d'autres à travers le monde, les trésors anglo-saxons, l'idée du rêve américain, les trésors littéraires (The Gold Bug de Poe, Treasure Island de Stevenson, Beowulf, etc.), l'importance et la controverse autour des joyaux de la couronne, le Geocaching, le trésor de Forrest Fenn, les Goonies, et bien d'autres choses encore ! "Cherchez, et vous trouverez...", dit le célèbre proverbe, mais la vraie question est de savoir ce que vous cherchez.

Ce cours est conçu pour cultiver l'écrivain qui sommeille en chacun de nous ! Les étudiants apprendront à captiver les lecteurs et à trouver du plaisir à exprimer leurs pensées et leurs sentiments sous forme écrite, en produisant des poèmes, des nouvelles et des pièces de théâtre. Le cours sera actif et interactif. Les étudiants peuvent s'attendre à écrire et à discuter à chaque période de cours.

Ce cours vise à explorer divers aspects de la culture américaine en rapport avec l'économie. Par exemple, les sujets peuvent inclure l'économie de la santé, de l'éducation, des prisons, de la guerre, de l'agriculture, de la politique, des ressources naturelles, etc., ainsi que des sujets tirés de l'actualité. Les élèves étudieront des articles et des extraits de films et de documentaires afin d'alimenter les discussions en classe sur ces questions sociales et culturelles. Les étudiants animeront des ateliers et des discussions et rédigeront des textes sur leurs interprétations, leurs réactions personnelles et leur analyse de l'économie américaine. Il est important de noter qu'il ne s'agit pas d'un cours d'économie enseigné en anglais. Il s'agit avant tout d'un cours d'anglais où les étudiants peuvent explorer et discuter de sujets liés à l'économie des Etats-Unis.

Sellez votre cheval et attelez le chariot ! Ce cours vous emmènera dans l'aventure de votre vie, vous permettant de voir l'Ouest américain au-delà de ce qui est évoqué dans la culture populaire. Notre thème central sera l'exploration de la frontière américaine en termes de frontière entre le mythe et la réalité. En tant qu'étudiants en langue et en culture, nous prendrons en considération la manière dont les événements historiques passés ont façonné le paysage idéologique américain d'aujourd'hui. Dans quelle mesure la poursuite du rêve américain était-elle et est-elle liée au concept de l'Ouest américain ? D'un point de vue historique, qui a gagné ? Qui a perdu ? Comment cela se passe-t-il aujourd'hui ? En classe, nous utiliserons une variété de supports, y compris des séries télévisées et des films de fiction, des films documentaires, des nouvelles, des romans, des émissions de radio et des articles de presse pour nous aider à articuler notre compréhension du sujet.

Ce cours pratique et interactif fournira aux élèves des outils pour pratiquer la pleine conscience et enregistrer les changements dans leur propre bien-être au cours du semestre.

Ce cours explorera une variété de modèles de pleine conscience, de bonheur et de bien-être. Nous examinerons diverses méthodes, notamment le laboratoire du bonheur et le concept danois de Hygge, ainsi que des stratégies telles que des pratiques de méditation simples et des techniques de visualisation.

Pendant ce cours, les élèves auront l'occasion d'améliorer leur propre bien-être en mettant en œuvre des méthodes simples de pleine conscience basées sur la recherche dans leur propre vie. Ces outils permettront aux élèves non seulement d'évaluer leur propre bien-être, mais aussi de modifier activement leur sentiment de bien-être pour l'améliorer. Les stratégies pratiques discutées dans le cours seront présentées comme des modèles et seront soutenues par la recherche scientifique qui fournit un aperçu du comment et du pourquoi de l'efficacité de ces pratiques. En outre, nous explorerons la science de la pleine conscience et ses répercussions sur les individus et les groupes, petits et grands.

Le professeur

Shannon Griffin enseigne depuis plus de vingt ans. Elle est titulaire d’un MA en études religieuses, en éthique et d'un BA en lettres (English) de l'Université de Virginie, USA ainsi que d'une BA en histoire juive de l'Université Hébraïque de Jérusalem. Sa thèse et ses recherches en cours portent sur l'empathie et la prise de recul par le biais de l'éducation bilingue. Elle est passionnée par l'apprentissage des langues en tant que moyen d'améliorer la compréhension entre les personnes et les cultures. Elle pratique également le yoga, la méditation et la pleine conscience.

Elle enseigne actuellement l'anglais en tant que deuxième langue en immersion et offre des conseils sur les programmes d'immersion linguistique. Shannon a enseigné dans des classes d'immersion linguistique multi-âges aux États-Unis et en France. Elle a de l'expérience dans l'enseignement du français et de l'anglais, y compris l'anglais des affaires, la littérature, l'histoire, les débats, les religions du monde, le Model United Nations, et en tant que facilitatrice des World Peace Games.

La Fayette et la philosophie politique révolutionnaire, Joséphine Baker et le jazz, Hemingway et le propre Shakespeare and Company de Paris, et attendez quoi ? Il y a un Détroit dans le Michigan et un Versailles dans le Kentucky ? Vous êtes-vous déjà arrêté pour réfléchir aux innombrables façons dont la France a laissé son empreinte sur les États-Unis et vice-versa ? Dans ce cours, nous aborderons l'art, la musique, la littérature, la philosophie, la géopolitique, l'histoire et la technologie pour voir comment la France et les États-Unis se sont inspirés et améliorés l'un l'autre.

Traduit avec www.DeepL.com/Translator (version gratuite)

Dans ce cours, nous lirons "Le Hobbit" et l'utiliserons comme point de départ pour explorer les points suivants :

• Le genre du mythe et de la légende
• La vie de Tolkien et les événements historiques, les personnes et les lieux importants pour l'auteur
• L'héritage linguistique de Tolkien
• Les raisons du succès phénoménal du "Hobbit" et, par extension, du "Seigneur des anneaux"
• La façon dont cette œuvre continue d'influencer la culture populaire aujourd'hui.

Les étudiants liront "Le Hobbit" dans son intégralité. Des articles de journaux, des films documentaires et des extraits de films permettront d'approfondir les thèmes évoqués par le livre.

Ce cours vous mettra dans la peau d'un détective amateur et nous suivrons des indices pour découvrir comment les mystères policiers sont apparus et sont devenus une force dominante dans la littérature, le cinéma et la télévision. Les questions que nous explorerons sont les suivantes : Qu'est-ce qu'un "mystère" ou un "roman policier" ? Quel a été le premier mystère policier ? Qui a développé le genre ? Comment le genre a-t-il évolué au fil du temps ? Sherlock qui ? Existe-t-il des liens réels entre le roman policier et la réalité ? Si oui, lesquels ? Et surtout, comment l'étude des romans policiers peut-elle nous aider à comprendre le monde anglophone et le monde en général ? En classe, nous utiliserons divers supports, notamment des séries télévisées et des films de fiction, des films documentaires, des nouvelles, des romans, des émissions de radio et des articles de presse pour mener notre enquête.