Paul Scata

Contexte

La flottation à air dissous est un procédé courant de traitement des eaux : de l’air est dissous sous pression puis libéré sous forme de microbulles qui s’accrochent aux particules en suspension et les entraînent à la surface.

Mon rôle

• Compréhension physique du phénomène (formation des bulles, interaction bulle-particule).
• Mise en place d’un dispositif de flottation à air dissous reposant sur une enceinte pressurisée.
• Exploitation des mesures et confrontation au modèle.
• Préparation et soutenance orale devant un jury.

Résultats

À la suite des analyses réalisées, j’ai pu constater que l’ajout d’une solution de chlorure de sodium permettait d’améliorer l’efficacité du processus de capture des microplastiques. La flottation à air dissous constitue une méthode prometteuse et efficace pour favoriser l’élimination des microplastiques présents dans les eaux usées.

Ce que j’en retiens

Ce projet m’a permis de comprendre l’importance d’une répartition efficace des tâches dans le cadre d’un travail sur le long terme. J’ai également appris à solliciter des interlocuteurs extérieurs afin d’obtenir les matériaux nécessaires à la réalisation du projet. Enfin, j’ai développé ma capacité à faire face aux imprévus, à surmonter les difficultés rencontrées et à rechercher des solutions adaptées pour assurer la continuité du travail.

Contexte

Deux TP de logique consacrés à la preuve de programmes : prouver qu’une fonction vérifie bien sa spécification, de façon vérifiée par la machine.

Mon rôle

• Formaliser des propriétés sur les listes (concaténation, renversement).
• Les démontrer par induction structurelle avec Coq.
• Les vérifier avec Why3, en combinant annotations et démonstrateurs automatiques.

Ce que j’en retiens

Ce TP m’a permis de mieux comprendre les principes de la preuve formelle et l’importance de la rigueur dans le raisonnement logique. J’ai appris à identifier les hypothèses nécessaires pour démontrer la validité d’un raisonnement ou d’un programme. J’ai également compris la différence fondamentale entre tester un programme, ce qui permet de vérifier son comportement sur des cas particuliers, et le prouver, ce qui consiste à démontrer mathématiquement sa correction. Cette approche m’a sensibilisé à l’importance de la précision et de la rigueur dans le développement informatique.

Contexte

TP de programmation du module PIM : structurer un programme en Ada avec saisies contrôlées, boucles et sous-programmes.

Mon rôle

• Concevoir l’algorithme et le découper en sous-programmes.
• Gérer les entrées invalides et les cas limites.
• Tester le programme sur plusieurs scénarios.

Ce que j’en retiens

La méthode du raffinage, que j’ai découverte au cours de ce projet, m’a permis de comprendre l’importance de décomposer un problème complexe en sous-tâches plus simples et structurées, afin d’en faciliter la compréhension et la mise en œuvre. J’ai également pris conscience que la majeure partie du travail ne réside pas dans l’écriture du code en elle-même, mais dans la phase préalable de réflexion, d’analyse et de décomposition du problème.