Krzysztof Rafał Apt
Biografia
Krzysztof R. Apt urodził się w 1949 roku w Katowicach. Ukończył VIII Liceum Ogólnokształcące im. Wilhelma Piecka w rodzinnym mieście i studia matematyczne na Uniwersytecie Wrocławskim. Doktorat z logiki matematycznej uzyskał na Uniwersytecie Warszawskim w 1974 roku, pracując nad tematem Niefinitystyczne reguły wnioskowania pod kierunkiem profesora Andrzeja Stanisława Mostowskiego. Po doktoracie wyemigrował na Zachód.
W latach 1991–2014 był profesorem Universiteit van Amsterdam. Poza Amsterdamem pracuje także jako profesor wizytujący na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego. Jest CWI fellow w holenderskim Centrum Wiskunde en Informatica. Współzałożył i był pierwszym dyrektorem administracyjnym czasopisma Zeszytów Literackich (1982–1984).
W 2000 roku założył czasopismo ACM Transactions on Computational Logic, którego był redaktorem naczelnym w latach 2000–2005. Od 2006 jest członkiem Academia Europaea. Jest redaktorem i autorem licznych książek i artykułów; od 1989 redaguje periodyk Journal of Logic and Computation, a od 2001 Theory and Practice of Logic Programming. Publikował w takich czasopismach jak Journal of the ACM i Information Processing Letters. Jest jednym z inicjatorów Nagrody im. Witolda Lipskiego.