Department of Mathematical Logic and Applications


English version Bulgarian version

Home
Members
Bachelor Courses
Master of Science Programs
Defended Master Theses
Our Postgraduate Students
Resources

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

Главна страница
Членове
Бакалавърски курсове
Магистърски програми
Защитени дипломни работи
Нашите докторанти
Ресурси