KRZYSZTOF R. APT
Krzysztof Rafał Apt (ur. 1949) – polski matematyk i informatyk. Specjalizuje się w programowaniu logicznym, teorii weryfikacji programów i teorii gier. CWI fellow w holenderskim Centrum voor Wiskunde en Informatica oraz emerytowany profesor na Uniwersytecie Amsterdamskim. Współzałożyciel i pierwszy dyrektor administracyjny (1982–1984) „Zeszytów Literackich”. W 2000 roku założył czasopismo „ACM Transactions on Computational Logic”, a od 2006 roku jest członkiem Academia Europea. Ponadto jest redaktorem i autorem wielu książek i artykułów. Od 1989 roku 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”.
