Д-р Димитър Димитров

Контакт: [email protected]

Работя в общата област на програмните езици. Предишната ми работа беше фокусирана най-вече върху програмния анализ за конкурентни програми. По време на докторантурата ми (в ETH Zürich) изследвах две основни теми: 1) ефективно откриване на състезания на данни за структурирано-паралелни програми и 2) критерии за коректност при конкурентно използване на абстрактни типове данни. Първата тема доведе до скромно обобщение на офлайн LCA алгоритъма на Тарджан до по-широк клас структури, двуизмерните решетки. Втората тема доведе до понятие за състезания на данни, базирано на комутативност, и критерий за конфликтна сериализируемост за евентуално консистентни системи. Междувременно и след това (в PwC Switzerland и ChainSecurity) изследвах анализ и верификация на интелигентни договори.

Настоящите ми интереси са практическите основи на програмните езици и пресечната точка между програмните езици и математическата логика. Считам, че проектирането и внедряването на реални програмни езици е в голяма нужда от по-систематичен и строг подход и че може да се възползва значително от обширните изследвания, стари и нови, в теорията на програмните езици.

Награди:

2020, Медал на ETH за изключителен докторат

Образование:

2020, Доктор по компютърни науки, ETH Zurich
2012, Магистър по математическа логика, Софийски университет
2009, Бакалавър по информатика, Софийски университет