Димитър К. Димитров решава проблем на повече от 25 години
Българин успя да спечели медал от Швейцарския федерален технологичен институт в Цюрих (ETH Zürich) за изключителната си докторска дисертация, съобщи на Facebook страницата си Посолството на Швейцария в България.
Тезата на докторанта Димитър К. Димитров - „Анализ на паралелността за абстрактни типове данни“ решава редица основни проблеми при практическата проверка на съгласуващи се и разпределени системи. С нея Димитър решава дори отворен проблем при анализа на паралелни програми (на повече от 25 години), отбелязват от посолството.
Негов ръководител е проф. Мартин Вечев, друг българин, който ръководи Лабораторията за сигурни, надеждни и интелигентни системи (SRI) в ETH Цюрих.