Leonardo Dias
Je m’appelle Leo. Je suis un étudiant brésilien en cycle ingénieur à l’École polytechnique. Je m’intéresse à la rencontre entre mathématiques appliquées et informatique — de l’apprentissage automatique et la vérification formelle jusqu’à l’électronique.
Je tiens ce site comme une trace de ce que j’apprends, construis et explore, avec quelques détours par la musique.
Textes récents
Tous les textes →- ↗
From fixed points to ODE solutions: Banach’s idea
How Banach's fixed-point theorem explains Picard's method of successive approximations and the Cauchy–Lipschitz theorem.
Ordinary Differential EquationsAnalysisFixed-Point Theory
Projets
Tous les projets →Coffio
Un contrôleur Wi-Fi qui transforme une cafetière classique en appareil connecté et programmable.
TerminéRéglage génétique d’un PID
Une comparaison contrôlée entre recherche génétique et règle de Ziegler–Nichols pour régler un correcteur PID.
TerminéSegmentation d'images : approche classique ou apprentissage
Une comparaison contrôlée entre GrabCut et un U-Net léger pour la segmentation sémantique binaire.
TerminéSuivi de marqueurs fiduciaires pour drones
Un détecteur YOLOv8 couplé à un filtre de Kalman pour maintenir l’estimation d’un marqueur d’atterrissage malgré des détections intermittentes.