Два международни проекта, разработвани от учени на Института по математика и информатика, получиха признание за постигнатите резултати