ИМИ-БАН, секция "Математически основи на информатиката", 2023 г., присъждане на образователна и научна степен "доктор" на Мирослав Маринов Димитров в
професионално направление информатика и компютърни науки. [Dimitrov Miroslav Marinov; Димитров Мирослав Маринов