Formal calculation Certifying the correctness, security and reliability of software: Swarn Priya wins L'Oréal-UNESCO 2023 prize 09/10/2023
Opensource The open-source software library CGAL is taking computational geometry research into the world of industry 09/10/2023