Отваря главното меню

Промени

 
== Научна дейност ==
През 19841985-1994 г. е [[научен сътрудник]] по [[математическа логика]] и [[компютърни науки]] в [[Софийски университет|СУ „Св. Климент Охридски“]] и [[БАН]]. Автор е на редица публикации във водещи международни журнали за логика и компютърни науки.
 
== Отличия ==
162

редакции