През 1985-1994 г. е [[научен сътрудник]] по [[математическа логика]] в [[Софийски университет|СУ „Св. Климент Охридски“]] и [[БАН]]. Автор е на редица публикации във водещи международни журнали за логика и компютърни науки.<ref>http://dblp.uni-trier.de/pers/hd/p/Passy:Solomon Данни за публикации на Соломон Паси в DBLP.</ref>
