#include "header"
The members of our Department
-
asoskova,Alexandra<_>Soskova, Associate
Professor, Ph.<>D. (Chairman)
Recursion Theory, Theoretical Computer Science.
asoskova@fmi.uni-sofia.bg
-
soskov,Ivan<_>Soskov, Professor,
Dr.<>Habil. (Dean)
Recursion Theory, Computability on Abstract Structures,
Theoretical Computer Science.
soskov@fmi.uni-sofia.bg
-
skordev,Dimiter<_>Skordev, Professor,
Dr.<>Habil
Mathematical Logic, Generalized Recursive Function Theory,
Theory of Programs and Computations.
skordev@fmi.uni-sofia.bg
-
vakarelov,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
-
ditchev,Angel<_>Ditchev, Associate
Professor,Ph.<>D.
Mathematical Logic, Recursive Function Theory.
ditchev@fmi.uni-sofia.bg
-
nikolova,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
-
tinchev,Tinko<_>Tinchev, Associate
Professor, Ph.<>D.
Set Theory, Modal Logic, Nonclassical Logic.
tinko@fmi.uni-sofia.bg
-
ganchev,Hristo<_>Ganchev, Assistant Professor, Ph.<>D.
Recursion Theory.
h.ganchev@gmail.com
-
msoskova,Mariya<_>Soskova, Assistant Professor, Ph.<>D.
Recursion Theory.
msoskova@fmi.uni-sofia.bg
-
http://lml.bas.bg/~anton,Anton<_>Zinoviev,
Assistant Professor
Algebraic Foundations of Recursion.
anton@lml.bas.bg
The former members of our Department
#define IN_IMM now in the Section of Logic at the IMI of BAS.
-
vbaleva,Vessela<_>Baleva
-
http://www.lml.bas.bg/ggargov.html,Georgi<_>Gargov
(1947-1996)
-
http://mail.maths.wits.ac.za/~goranko/,Valentin<_>Goranko
-
Lyubomir Ivanov, [[IN_IMM]]
-
http://stp.ling.uu.se/~rloukano/,Roussanka<_>Loukanova
-
Solomon Passy
-
Radoslav Pavlov
-
http://aragorn.pb.bialystok.pl/~radev/,Slavian<_>Radev
-
http://www.math.bas.bg/~vlsot/,Vladimir<_>Sotirov, [[IN_IMM]]
-
Jordan Zashev, [[IN_IMM]]
#include "footer"