The members of our Department

• Ivan Georigev, Associate Professor, Dr. (Chair)
  Computability and Complexity in Analysis.
  

• Alexandra Soskova, Professor, Dr. Habil.
  Computability Theory, Theoretical Computer Science.
  

• Tinko Tinchev, Professor, Dr.
  Set Theory, Modal Logic, Nonclassical Logic.
  

• Hristo Ganchev, Associate Professor, Dr.
  Computability Theory.
  

• Stefan Gerdjikov, Associate Professor, Dr.
  Theoretical Computer Science.
  

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

• 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

• Dimiter Georgiev, Assistant Professor, Dr.
  Nonclassical Logics.
  

• Mariya Soskova, Associate Professor in Wisconsin-Madison
  Computability Theory.
  

• Angel Ditchev, Associate Professor, Dr.
  Mathematical Logic, Recursive Function Theory.
  

• Dimiter Vakarelov (1938 – 2023), Professor, Dr. Habil.
  Mathematical Logic, Nonclassical Logics.

• Dimiter Skordev (1936 – 2022), Professor, Dr. Habil.
  Mathematical Logic, Generalized Recursive Function Theory, Theory of Programs and Computations, Computability in Analysis.

• Petio Petkov (1938 – 2021), Associate Professor, Dr.
  Constructive Mathematics, History of Mathematics.

• Anatoly Buda (1948–2016), Associate Professor, Dr.
  Discrete Mathematics, Theory of Automata and Abstract Machines.

• Ivan Soskov (1954–2013), Professor, Dr. Habil.
  Recursion Theory, Computability on Abstract Structures, Theoretical Computer Science.

• Vessela Baleva

• Roussanka Loukanova

• Valentin Goranko

• Jordan Zashev

• Georgi Gargov (1947–1996)

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

• Solomon Passy

• Radoslav Pavlov

• Slavian Radev

• Vladimir Sotirov