#include "header"

<h2>The	members of our Department</h2>

<ul>
   <li>
      <name><fmiurl>asoskova,Alexandra<_>Soskova</fmiurl>, Associate
      Professor, Ph.<>D. (Chairman)</name><br>

      Recursion Theory, Theoretical Computer Science.<br>

      <mail>asoskova@fmi.uni-sofia.bg</mail>
   </li>
   <li>
      <name><fmiurl>soskov,Ivan<_>Soskov</fmiurl>, Professor,
	Dr.<>Habil. (Dean)</name><br>

      Recursion Theory, Computability on Abstract Structures,
      Theoretical Computer Science.<br>

      <mail>soskov@fmi.uni-sofia.bg</mail>
   </li>
   <li>
      <name><fmiurl>skordev,Dimiter<_>Skordev</fmiurl>, Professor,
      Dr.<>Habil</name><br>
      
      Mathematical Logic, Generalized Recursive Function Theory,
      Theory of Programs and Computations.<br>

      <mail>skordev@fmi.uni-sofia.bg</mail>
   </li>
   <li>
      <name><fmiurl>vakarelov,Dimiter<_>Vakarelov</fmiurl>, Professor,
      Dr.<>Habil</name><br>

      Mathematical Logic, Nonclassical Logics.<br>

      <mail>dvak@fmi.uni-sofia.bg</mail>
   </li>
   <li>
      <name>Anatoly Buda, Associate Professor, Ph.<>D.</name><br>

      Discrete Mathematics, Theory of Automata and Abstract
      Machines.<br>

      <mail>buda@fmi.uni-sofia.bg</mail>
   </li>
   <li>
      <name><fmiurl>ditchev,Angel<_>Ditchev</fmiurl>, Associate
      Professor,Ph.<>D.</name><br>

      Mathematical Logic, Recursive Function Theory.<br>

      <mail>ditchev@fmi.uni-sofia.bg</mail>
   </li>
   <li>
      <name><fmiurl>nikolova,Stela<_>Nikolova</fmiurl>, Associate
      Professor, Ph.<>D.</name><br>

      Recursion Theory, Theoretical Computer Science.<br>

      <mail>stenik@fmi.uni-sofia.bg</mail>
   </li>
   <li>
      <name>Petio Petkov, Associate Professor, Ph.<>D.</name><br>

      Constructive Mathematics, History of Mathematics.<br>

      <mail>ppetkov@fmi.uni-sofia.bg</mail>
   </li>
   <li>
      <name><fmiurl>tinchev,Tinko<_>Tinchev</fmiurl>, Associate
      Professor, Ph.<>D.</name><br>

      Set Theory, Modal Logic, Nonclassical Logic.<br>

      <mail>tinko@fmi.uni-sofia.bg</mail>
   </li>
   <li>
      <name><fmiurl>ganchev,Hristo<_>Ganchev</fmiurl>, Assistant Professor, Ph.<>D.</name><br>

      Recursion Theory.<br>

      <mail>h.ganchev@gmail.com</mail>
   </li>
   <li>
      <name><fmiurl>msoskova,Mariya<_>Soskova</fmiurl>, Assistant Professor, Ph.<>D.</name><br>

      Recursion Theory.<br>

      <mail>msoskova@fmi.uni-sofia.bg</mail>
   </li>
   <li>
      <name><url>http://lml.bas.bg/~anton,Anton<_>Zinoviev</url>,
      Assistant Professor</name><br>

      Algebraic Foundations of Recursion.<br>

      <mail>anton@lml.bas.bg</mail>
   </li>
</ul>

<h2>The former members of our Department</h2>

#define IN_IMM <font size=-2>now in the <a href="http://www.math.bas.bg/logic/">Section of Logic</a> at the <a href="http://www.math.bas.bg/">IMI</a> of <a href="http://www.bas.bg/">BAS</a>.</font>

<ul>
   <li>
      <name><fmiurl>vbaleva,Vessela<_>Baleva</fmiurl></name><br>
   </li>
   <li>
	<name><url>http://www.lml.bas.bg/ggargov.html,Georgi<_>Gargov</url>
	(1947-1996)</name>
   </li>
   <li>
	<name><url>http://mail.maths.wits.ac.za/~goranko/,Valentin<_>Goranko</url></name>
   </li>
   <li>
	<name>Lyubomir Ivanov</name>, [[IN_IMM]]
   </li>
   <li>
	<name><url>http://stp.ling.uu.se/~rloukano/,Roussanka<_>Loukanova</url></name>
   </li>
   <li>
	<name>Solomon Passy</name>
   </li>
   <li>
	<name>Radoslav Pavlov</name>
   </li>
   <li>
	<name><url>http://aragorn.pb.bialystok.pl/~radev/,Slavian<_>Radev</url></name>
   </li>
   <li>
	<name><url>http://www.math.bas.bg/~vlsot/,Vladimir<_>Sotirov</url></name>, [[IN_IMM]]
   </li>
   <li>
	<name>Jordan Zashev</name>, [[IN_IMM]]
   </li>
</ul>

#include "footer"