Mioara Joldes is a Directeur de Recherche (DR) at CNRS working in the ROC team at LAAS-CNRS (Laboratory for Analysis and Architecture of Systems) in Toulouse, France. She has been a permanent CNRS researcher at LAAS since 2013. Her work bridges rigorous mathematical computing with practical aerospace applications, particularly in space surveillance and collision avoidance. She collaborates extensively with French space agencies like CNES and has developed algorithms that have been tested on satellites including the ESOC OPS-SAT CubeSat and embedded in the CNES ASTERIA software. Dr. Joldes received her Ph.D. from École Normale Supérieure de Lyon in 2011. In 2019, she earned her Habilitation from Toulouse III Paul Sabatier University with a dissertation focused on building efficient symbolic-numeric objects, algorithms, and software tools with space-based applications. Her academic journey reflects a strong foundation in mathematical computing translated into practical aerospace solutions. Her research spans three interconnected domains: Computer Arithmetic, where she improves the accuracy and reliability of numerical computations; Symbolic-Numeric Algorithms, developing methods that combine symbolic and numerical approaches for validated computing; and Aerospace Applications, particularly in Space Surveillance and Tracking. Her work enables mathematically rigorous error bounds for computations used in critical aerospace systems, ensuring safety in space operations through validated numerics that provide "sure, yet reasonably tight, error bounds." Her recent publications demonstrate a strong focus on collision probability computation in space, validated numerical methods for differential equations, and efficient implementations of mathematical functions. She frequently collaborates with Denis Arzelier, Florent Bréhard, and other researchers in developing algorithms that have transitioned from theoretical foundations to practical space applications, with several papers receiving significant recognition in their fields. Distinguished Paper Award at ISSAC 2019 for work on algebraic reconstruction of measures with holonomic density Best Paper Award at ASAP 2020 for efficient FPGA implementation of the Probit function CNRS Bronze medal in 2021 recognizing her research contributions Dr. Joldes leads the PRESTO International Emerging Actions Project on Probabilistic Reliable and Efficient numerics for Stochastically-constrained Trajectory Optimization. Her research has received funding from CNES and other space agencies, supporting technology transfer from theoretical mathematics to operational space systems. She has supervised multiple students working at the intersection of validated computing and aerospace applications, with her methods being implemented in operational systems used by space agencies worldwide. As a key member of the ROC (Robotique et Calcul) team at LAAS-CNRS, she develops critical software tools like CAMPARY (CudA Multiple Precision ARithmetic librarY) and contributes to Sollya, an environment for developing safe floating-point code. Her work on orbital collision probability evaluation has been featured in major publications including CNRS-Le Journal, La Tribune, Les Echos, and L'usine Nouvelle, demonstrating the real-world impact of her research in ensuring safe space operations.
