Présentation de mon sujet de thèse à IKS
Afin de me préparer au fait de présenter en anglais devant de grands groupes et aussi de me préparer à un oral ayant un aspect pédagogique, Pr. Marc Lefranc ainsi que mon directeur de thèse m’ont invité à présenter les domaines de mon sujet de thèse lors des IKS days. Vous pouvez en retrouver les slides ici.
Pour cette présentation, je suis donc parti du titre de mon sujet de thèse : “Méthodes formelles pour la vérification de logiciels distribués allant du cloud jusque l’IoT” afin d’expliciter pourquoi ma thèse et les domaines auxquels elle touche sont cruciaux.
La présentation durait 30 minutes et devait permettre à un public assez éclectique de plus de 100 personnes d’en comprendre les tenants et aboutissants.
Le public était globalement composé d’étudiants de master allant de la philosophie à la nanotechnologie, en passant par des sciences cognitives ou des mathématiques fondamentales.
La présentation était composée de 4 parties :
- C’est quoi l’IoT ? À quel point c’est omniprésent ?
- Pourquoi la sécurité de ces systèmes est aussi importante ?
- Qu’est ce que sont que les méthodes formelles ?
- Créer du lien entre ces 3 points
Cette présentation a suivi un fil rouge à l’aide d’une histoire. L’appareil connecté qui nous a le plus suivi était une voiture qui nous a permis d’expliciter le lien final avec les méthodes formelles et leur nécessité.
Lors de cette présentation, j’ai aussi eu à apprendre comment gérer un stress assez soudain et fort en direct, j’ai malheureusement oublié une slide dans mon développement et j’ai du trouver une pirouette pour me remettre en selle correctement.
Cette présentation m’a confirmé que j’avais encore beaucoup de travail à faire pour arriver à la finalité dont j’ai envie pour ma thèse, ce qui m’a permis de trouver un point de départ concret pour mon évolution du point de vue des conférences et autres présentations qui seraient nécessaires pour une thèse académique.