Настоящи докторанти
- Григор Колев
- Яна Руменова
- Иван Николов
Бивши докторанти и дисертациите им
- Димитър Георгиев, Алгоритмични методи за некласически логики, 2017
- Татяна Иванова, Logics for relational geometric structures: distributive mereotopology, extended contact algebras and related quantifier-free logics, 2016
- Иван Георгиев, Субрекурсивна изчислимост в анализа, 2016
- Андрей Сариев, Определимост в степенни структури, 2015 (превод на увода на гръцки)
- Владислав Ненчев, Теории за време и пространство, основани на региони. Динамична релационна мереотопология, 2014
- Антон Зиновиев, Крайни модели чрез резолюция с термоиди, 2014
- Стефан Вътев, Омега спектри на структури. Ефективни свойства на структури в хипераритметичната йерархия, 2014
- Стефан Герджиков, Ефективен алгоритъм за приближено търсене в регулярни множества, 2014 (рецензии и становища на журито, отговор от дисертанта)
- Христо Ганчев, Омега-номерационни степени, 2009
- Весела Балева, Операцията скок в степени от структури, 2001
- Димитър Гелев, Вероятностни и темпорални модални логики, 2000
- Стела Николова, Допустимост в абстрактни структури с произволна мощност, 1991
- Александра Соскова, Ефективни алгебрични системи, 1990
- Валентин Горанко, Определимост и пълнота в полимодални логики, 1988
- Тинко Тинчев, Разширения на съждителната динамична логика, 1986
- Соломон Паси, Комбинаторна динамична логика, 1984
- Йордан Зашев, Теория на рекурсията в частично наредени комбинаторни модели, 1983
- Иван Сосков, Изчислимост в частични алгебрични системи, 1983
- Ангел Дичев, Несводимост на някои декартови степени към други и съотношение между два вида изчислимост, 1983
- Любомир Иванов, Итеративни операторни пространства, 1980