Safe and Complete Algorithms for Bioinformatics (SAFEBIO) was a project that took place during Mar 2020 - Feb 2025 at the University of Helsinki. It was funded by the European Research Council (ERC) ...