#include "header"

<h2>Former Postgraduate Students and their Dissertations</h2>

<ul>
   <li>
      <name>Lyubomir Ivanov,</name> ``Iterative Operative Spaces'', 1980
   </li>
   <li>
      <name><fmiurl>ditchev,Angel Ditchev</fmiurl>,</name>
      ``Non-reducibility of Certain Cartesian Degrees to Other Ones
      and the Interrelation between Two Kinds of Computability'', 1983
   </li>
   <li>
      <name><fmiurl>soskov,Ivan Soskov</fmiurl>,</name>
      ``Computability in Partial Algebraic Systems'', 1983
   </li>
   <li>
      <name>Jordan Zashev,</name> ``Recursion Theory in Partially
      Ordered Combinatory Models'', 1983
   </li>
   <li>
      <name>Solomon Passy,</name> ``Combinatory Dynamic Logic'', 1984
   </li>
   <li>
      <name><fmiurl>tinchev,Tinko Tinchev</fmiurl>,</name>
      ``Extensions of the Propositional Dynamic Logic'', 1986
   </li>
   <li>
      <name><url>http://mail.maths.wits.ac.za/~goranko/,Valentin<_>Goranko</url>,</name>
      ``Definability and Completeness in Polymodal Logics'', 1988
   </li>
   <li>
      <name><fmiurl>asoskova,Alexandra<_>Soskova</fmiurl>,</name>
      ``Effective Algebraic Systems'', 1990
   </li>
   <li>
      <name><fmiurl>nikolova,Stela<_>Nikolova</fmiurl>,</name>
      ``Admissibility in Abstract Structures with Arbitrary
      Cardinality'', 1991
   </li>
   <li>
      <name><url>http://www.math.bas.bg/~gelevdp,Dimitar<_>Guelev</url>,</name>
      <fmiurl>theses/guelev.ps,``Probabilistic and Temporal Modal Logics''</fmiurl>, 2000
   </li>
   <li>
      <name><fmiurl>vbaleva,Vessela<_>Baleva</fmiurl>,</name>
      ``The structure degree jump operation'', 2001
   </li>
   <li>
      <name><fmiurl>ganchev,Hristo<_>Ganchev</fmiurl>,</name>
      ``Omega enumeration degrees'', 2009
   </li>
</ul>

<h2>Current Postgraduate Students</h2>

<ul>
   <li>
      <fmiurl>ebozhkova,Elka Bozhkova</fmiurl>
   </li>
   <li>
      <url>http://lml.bas.bg/~anton,Anton Zinoviev</url>
   </li>
   <li>
      Lazar Borissov
   </li>
   <li>
      Vladimir Soskov
   </li>
   <li>
      Paskal Piperkov
   </li>
   <li>
      <fmiurl>vboutchkova,Vera Boutchkova</fmiurl>
   </li>
   <li>
      Ognjan Gerasimov
   </li>
   <li>
      Vladimir Dimitrov
   </li>
   <li>
      Georgi Marinov
   </li>
</ul>

#include "footer"