I did my M.Sc. (Mathematics, '84) and Ph.D. (Mathematical Logic, '88) at the Faculty of Mathematics and Computer Science of the University of Sofia "St. Kliment Ohridski".

My Ph. D. thesis was on "Definability and completeness in multi-modal logics" under the supervision of Dimiter Vakarelov, who was a student of Helena Rasiowa, who was a student of Andrzej Mostowski, who was a student of Kazimierz Kuratowski and Alfred Tarski... See my scientific genealogy further back here and here.

I have 25 years of academic teaching experience and have taught various undergraduate and graduate courses in Mathematics and Computer Science. I have several current and former master and doctoral students.

My current research interests are mainly focused on theory and applications of logic to computer science and artificial intelligence. I have a number of publications and am currently involved in several research projects in these areas.

I am currently involved in several scientific events and editorial activities.