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