# 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.

**Alexandra Soskova, Professor, Dr.**

Computability Theory, Theoretical Computer Science.

**Tinko Tinchev, Professor, Dr.**

Set Theory, Modal Logic, Nonclassical Logic.

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

Mathematical Logic, Nonclassical Logics.

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

Mathematical Logic, Recursive Function Theory.

**Stefan Gerdjikov, Associate Professor, Dr.**

Theoretical Computer Science.

**Ivan Georigev, Associate Professor, Dr.**

Computable Analysis.

**Minko Markov, Associate Professor, Dr.**

Theoretical Computer Science.

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

Computability Theory, Theoretical Computer Science.

**Georgi Georgiev, Assistant Professor, Dr.**

Theoretical Computer Science.

**Dimiter Georgiev, Assistant Professor, Dr.**

Nonclassical Logics.

**Dobromir Kralchev, Assistant Professor, Dr.**

Theoretical Computer Science

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

Theoretical Computer Science.

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

Nonclassical Logics

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

Computability Theory

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

Computable Structure Theory, Theoretical Computer Science.

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

Algebraic Foundations of Recursion.

## The former members of our Department

**Mariya Soskova, Associate Professor in Wisconsin-Madison**

Computability Theory.

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

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

**Petio Petkov (1938 – 2021), 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**