Членовете на нашата катедра
- Иван Георгиев, доцент, д-р (ръководител на катедрата)
Изчислим анализ.
- Александра Соскова, професор, д-р на науките
Теория на изчислимите структури, теоретична информатика.
- Тинко Тинчев, професор, д-р
Теория на множествата, модални логики, некласически логики.
- Христо Ганчев, доцент, д-р
Теория на изчислимостта.
- Стефан Герджиков, доцент, д-р
Теоретична информатика.
- Минко Марков, доцент, д-р
Теоретична информатика.
- Стела Николова, доцент, д-р
Теория на изчислимостта, теоретична информатика.
- Стефан Вътев, гл. асистент, д-р
Теория на изчислимите структури, теоретична информатика.
- Георги Георгиев, гл. асистент, д-р
Теоретична информатика.
- Антон Зиновиев, гл. асистент, д-р
Алгебрични основи на рекурсията, теоретична информатика.
- Добромир Кралчев, гл. асистент, д-р
Теоретична информатика.
- Петър Митанкин, гл. асистент, д-р
Теоретична информатика.
- Владислав Ненчев, гл. асистент, д-р
Некласически логики.
- Андрей Сариев, гл. асистент, д-р
Теория на изчислимостта.
Бившите членове на нашата катедра
- Димитър Георгиев, гл. асистент, д-р
Некласически логики.
- Мария Соскова, доцент в Уисконсин-Медисън
Теория на изчислимостта.
- Ангел Дичев, доцент, д-р
Математическа логика, теория на рекурсивните функции.
- Димитър Вакарелов (1938 – 2023), професор, д-р на науките
Математическа логика, некласически логики.
- Димитър Скордев (1936 – 2022), професор, д-р на науките
Математическа логика, обобщена теория на рекурсивните функции, теория на програмите и изчисленията, изчислимост в анализа.
- Петьо Петков (1938 – 2021), доцент, д-р
Конструктивна математика, история на математиката.
- Анатолий Буда (1948 – 2016), доцент, д-р
Дискретна математика, теория на автоматите и абстрактните машини.
- Иван Сосков (1954 – 2013), професор, д-р на науките
Теория на рекурсията, изчислимост в абстрактни структури, теоретична информатика.
- Йордан Зашев
- Русанка Луканова
- Георги Гаргов (1947 – 1996)
- Любомир Иванов, в момента в Секцията по алгебра и логика на ИМИ на БАН
- Радослав Павлов