# The members of our Department

**Hristo Ganchev, Associate Professor, Ph. D. (Chair)**

Computability Theory.

**Dimiter Skordev, Professor, Dr. Habil.**

Mathematical Logic, Generalized Recursive Function Theory, Theory of Programs and Computations, Computability in Analysis.

**Dimiter Vakarelov, Professor, Dr. Habil.**

Mathematical Logic, Nonclassical Logics.

**Tinko Tinchev, Professor, Dr.**

Set Theory, Modal Logic, Nonclassical Logic.

**Angel Ditchev, Associate Professor, Dr.**

Mathematical Logic, Recursive Function Theory.

**Stela Nikolova, Associate Professor, Dr.**

Computability Theory, Theoretical Computer Science.

**Alexandra Soskova, Associate Professor, Dr.**

Computability Theory, Theoretical Computer Science.

**Mariya Soskova, Associate Professor, Dr.**

Computability Theory.

**Stefan Gerdjikov, Assistant Professor, Dr.**

**Petar Mitankin, Assistant Professor, Dr.**

**Vladislav Nenchev, Assistant Professor, Dr.**

**Stefan Vatev, Assistant Professor, Dr.**

Computable Structure Theory, Theoretical Computer Science.

**Anton Zinoviev, Assistant Professor, Dr.**

Algebraic Foundations of Recursion.

**Andrey Sariev, Assistant Professor, Dr.**

## The former members of our Department

**Ivan Soskov (1954–2013), Professor, Dr. Habil.**

Recursion Theory, Computability on Abstract Structures, Theoretical Computer Science.

**Petio Petkov, Associate Professor, Ph. D.**

Constructive Mathematics, History of Mathematics.

**Anatoly Buda (1948–2016), Associate Professor, Ph. D.**

Discrete Mathematics, Theory of Automata and Abstract Machines.

**Georgi Gargov (1947–1996)**

**Lyubomir Ivanov**, now in the Section of Algebra and Logic at the IMI of BAS

**Roussanka Loukanova**

**Solomon Passy**

**Radoslav Pavlov**

**Jordan Zashev**