W 1987 rozpoczął pracę w Instytucie Podstaw Informatyki PAN, gdzie zajmował się badaniami nad sztuczną inteligencją i kierował zespołem pracującym nad metodami przyjaznej interakcji człowieka z komputerem.
Był promotorem kilkudziesięciu prac magisterskich oraz sześciu prac doktorskich.
Był redaktorem i współredaktorem kilku międzynarodowych serii wydawniczych, m.in. „Natural Communication with Computer” (McMillan Publishers i Carl Hanser Verlag) oraz „Symbolic Computation” (Springer-Verlag), w których ukazały się liczne monografie z zakresu sztucznej inteligencji i języków formalnych. Współautor dwóch znaczących monografii: Search Methods in Artificial Intelligence (Academic Press, 1992) oraz Many-Valued Logics. Theoretical Foundations. Automated Reasoning and Practical Applications (Springer-Verlag, 1992).
Jako edytor Akademickiej Oficyny Wydawniczej PLJ/EXIT w Warszawie odpowiadał za wydanie kilkudziesięciu monografii naukowych i podręczników akademickich nagradzanych przez Ministra Edukacji Narodowej.