Department of Mathematical Logic and Applications

English version Bulgarian version

Bachelor Courses
Master of Science Programs
Defended Master Theses
Our Postgraduate Students

Some links:
  • 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.
  • The members of the Department are 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.
  • The Department is responsible also for the Master of Sciences programs in “Logic and Algorithms” in the Faculty.
  • If you want to ask something or to initiate a discussion, you can use our web phorum. In order to be informed with the current events about the mathematical logic and theoretical computer sciences you can subscribe to our mailing list (about 5 messages per month).
  • Professor Alexandra Soskova is the current chairman of the Department. You can address any questions and remarks to her.
Главна страница
Бакалавърски курсове
Магистърски програми
Защитени дипломни работи
Нашите докторанти