The Department was founded in 1972 as a subdivision of the United Center of Mathematics and Mechanics (more information can be found in Dimiter Skordev’s historical notes. Since 1989 the Department has been a part of the Faculty of Mathematics and Computer Science, Sofia University. Our department is the leading research centre for Mathematical Logic in Bulgaria with specialists in the areas of Computability Theory, Theoretical Computer Science, Modal and Non-Classical Logic, Constructive Mathematics.
The Department is responsible for several courses in the curriculum of the Bachelor Programs in Mathematics and Computer Science and for the Master of Science programs in “Logic and Algorithms” in the Faculty.