||I was born on 25 of April in Sofia,
I graduated from the Mathematics
and Computer Science Faculty at the University of Sofia.
Now I work in the Institute
for Mathematics and Computer Science - Bulgarian
Academy of Science and I teach Logic, Discrete Mathematics, AI and
Prolog at the University of Sofia and at the
New Bulgarian University.
The most significant thing which I made in my life is the definition of Artificial Intelligence which is a part from the AI - Project. I published this definition in November'2000 in PC Magazine Bulgaria. Here you can read the English translation of this paper. If you speak Bulgarian you can hear the radio interview which I gave about this paper. At the moment I am writing my dissertation which title is “Description of the AI algorithm”.
In order to explain my dissertation to people who are not mathematicians I am writing a novel about AI. You cannot read this novel because it is on Bulgarian language but if you click here you will see the illustrations.
My Master's thesis studied the problem of infinite loops in Prolog programs. Certainly, the problem exists in procedural languages as well but Prolog is a declarative language and has to deal with this issue without getting the programmer involved. If the compiler leaves the loops to be avoided by the user then this will make Prolog just the next procedural language.
You can download my Master's thesis. The title is "Periodical Cyclings in Prolog" (zipped PostScript file). This is one mathematical work and I can recommend it only to people who like pure mathematical papers.
I was for five months in Netherlands at the University of Twente. Here you can read my final report from that specialisation.
A Prolog compiler called Strawberry Prolog is considered to be the most attractive of my works. That’s why I suggest you spare some time to have a look.
My articles are mainly about Artificial Intelligence. You can read these articles in AI - Project.
Other articles about different topics:
About health insurance funds:
About bonus-malus system:
About metro traffic: