Department of Mathematical Logic (Bulgarian Academy of Sciences)

Vladimir Sotirov and Radoslav Pavlov joined the department in 1970, followed by George Gargov, Anatoly Buda, Lyubomir Ivanov, Slavyan Radev and Solomon Passy in 1976-89.

From 1971 to 1989 the department was merged with the corresponding division of the Faculty of Mathematics and Informatics at Sofia University, with Dimiter Skordev heading the integrated structure since 1971.

The logicians Bogdan Dyankov, Hristo Smolenov, Veselin Petrov and Marion Mircheva stayed with the department for various periods of time, all of them coming from the Institute of Philosophy at the Bulgarian Academy of Sciences once the latter was dissolved on account of the dissident activities of its members in 1989.

A joint multi-institutional project led by the department has contributed to the development and introduction of a new Bulgarian phonetic keyboard layout for personal computers and mobile phones.

Sotirov, Ivanov, and Passy were returned MPs in the VII Grand National Assembly on the side of the Union of Democratic Forces, and co-authored the new Bulgarian Constitution.