Department of Mathematical Logic and Applications

The members of our Department

• Alexandra Soskova, Associate Professor, Ph. D. (Chairman)
  Recursion Theory, Theoretical Computer Science.
  asoskova@fmi.uni-sofia.bg
• Ivan Soskov, Professor, Dr. Habil. (Dean)
  Recursion Theory, Computability on Abstract Structures, Theoretical Computer Science.
  soskov@fmi.uni-sofia.bg
• Dimiter Skordev, Professor, Dr. Habil
  Mathematical Logic, Generalized Recursive Function Theory, Theory of Programs and Computations.
  skordev@fmi.uni-sofia.bg
• Dimiter Vakarelov, Professor, Dr. Habil
  Mathematical Logic, Nonclassical Logics.
  dvak@fmi.uni-sofia.bg
• Anatoly Buda, Associate Professor, Ph. D.
  Discrete Mathematics, Theory of Automata and Abstract Machines.
  buda@fmi.uni-sofia.bg
• Angel Ditchev, Associate Professor,Ph. D.
  Mathematical Logic, Recursive Function Theory.
  ditchev@fmi.uni-sofia.bg
• Stela Nikolova, Associate Professor, Ph. D.
  Recursion Theory, Theoretical Computer Science.
  stenik@fmi.uni-sofia.bg
• Petio Petkov, Associate Professor, Ph. D.
  Constructive Mathematics, History of Mathematics.
  ppetkov@fmi.uni-sofia.bg
• Tinko Tinchev, Associate Professor, Ph. D.
  Set Theory, Modal Logic, Nonclassical Logic.
  tinko@fmi.uni-sofia.bg
• Hristo Ganchev, Assistant Professor, Ph. D.
  Recursion Theory.
  h.ganchev@gmail.com
• Mariya Soskova, Assistant Professor, Ph. D.
  Recursion Theory.
  msoskova@fmi.uni-sofia.bg
• Anton Zinoviev, Assistant Professor
  Algebraic Foundations of Recursion.
  anton@lml.bas.bg

The former members of our Department

• Vessela Baleva
  
• Georgi Gargov (1947-1996)
• Valentin Goranko
• Lyubomir Ivanov, now in the Section of Logic at the IMI of BAS.
• Roussanka Loukanova
• Solomon Passy
• Radoslav Pavlov
• Slavian Radev
• Vladimir Sotirov, now in the Section of Logic at the IMI of BAS.
• Jordan Zashev, now in the Section of Logic at the IMI of BAS.

Last edition: 16 November 2010 at 09:20 EET