Redaktor i autor szeregu książek, rozdziałów w pracach zbiorowych i licznych artykułów. Od 1989 jest redaktorem periodyku „Journal of Logic and Computation”, a od 2001 „Theory and Practice of Logic Programming”. Swoje prace publikował w takich czasopismach jak m.in. „Journal of the ACM”, „The Journal of Logic Programming” „Information Processing Letters”, „International Game Theory Review” oraz „Distributed Computing”.
Jest jednym z inicjatorów Nagrody im. Witolda Lipskiego.
Przypisy
Kategoria:Polscy informatycy Kategoria:Polscy matematycy XX wieku Kategoria:Polscy matematycy XXI wieku Kategoria:Urodzeni w 1949 Kategoria:Nauczyciele akademiccy Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego Kategoria:Ludzie urodzeni w Katowicach Kategoria:Absolwenci VIII Liceum Ogólnokształcącego im. Marii Skłodowskiej-Curie w Katowicach