Mioara Joldes, a researcher in the ROC team (LAAS, member of Cimi) whose research work focuses on numerical and symbolic arithmetic, formal calculation and computer arithmetic, was awarded the CNRS bronze medal on Friday 8 October 2021.
Mioara Joldes, a computer science graduate from the Technical University of Cluj-Napoca (Romania), arrived in France in 2007, after obtaining a scholarship for excellence to enter the Master's degree in computer science at the École Normale Supérieure de Lyon. With an interest in improving the efficiency and reliability of machine computation, she obtained her PhD in Computer Science from the same school in 2011, followed by a postdoctoral fellowship at the University of Uppsala in Sweden. In January 2013, she joined the Laboratoire d'analyse et d'architecture des systèmes du CNRS (LAAS-CNRS) in Toulouse, as a research fellow and "expert on the last correct digit returned by mathematical software". More specifically, her research areas are in computer arithmetic, formal computation and rigorous computing. Since 2015, she has been using this expertise to design more efficient and reliable algorithms for the control of dynamic systems, particularly in the aerospace field. For example, also in collaboration with CNES, she is interested in the assessment and mitigation of the risk of collision in Earth orbit between an active satellite and space debris.
Congratulations Mioara!