| Biografia | |
|---|---|
| Data urodzenia | 1949 |
| Miejsce urodzenia | Katowice |
| Zawód | matematyk, informatyk |
| Główne specjalizacje | programowanie logiczne; teoria weryfikacji programów; teoria gier |
| Wykształcenie | Uniwersytet Wrocławski; doktorat 1974, Uniwersytet Warszawski |
| Promotor | Andrzej Stanisław Mostowski |
| Stanowiska | CWI fellow; profesor Universiteit van Amsterdam (1991–2014, od 2014 emerytowany); profesor wizytujący, Uniwersytet Warszawski |
| Redakcje | założyciel ACM Transactions on Computational Logic; redaktor naczelny ACM TOCL (2000–2005); redaktor Journal of Logic and Computation (od 1989); Theory and Practice of Logic Programming (od 2001) |
| Inicjatywy | współzałożyciel i pierwszy dyrektor administracyjny „Zeszytów Literackich" (1982–1984); inicjator Nagrody im. Witolda Lipskiego |
Krzysztof Rafał Apt jest polskim matematykiem i informatykiem, którego prace skupiają się na programowaniu logicznym, teorii weryfikacji programów oraz na teorii gier. Pozyskał rozpoznawalność jako badacz i redaktor związany z międzynarodowymi periodykami z zakresu logiki i informatyki.
Życiorys i wykształcenie
Urodził się w Katowicach i ukończył VIII Liceum Ogólnokształcące im. Wilhelma Piecka. Studia matematyczne odbył na Uniwersytecie Wrocławskim. Stopień doktora obronił w 1974 roku na Uniwersytecie Warszawskim na podstawie pracy zatytułowanej "Niefinitystyczne reguły wnioskowania" pod kierunkiem profesora Andrzeja Stanisława Mostowskiego.
Po uzyskaniu doktoratu wyemigrował na Zachód. Później kontynuował karierę naukową poza Polską, nawiązując długotrwałe związki z ośrodkami badawczymi w Europie Zachodniej.
Kariera akademicka i działalność redakcyjna
W latach 1991–2014 pełnił funkcję profesora na Universiteit van Amsterdam; od 2014 roku posiada status emerytowanego profesora. Jest CWI fellow w Centrum voor Wiskunde en Informatica. Poza pracą w Amsterdamie występuje jako profesor wizytujący w Instytucie Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego.
W 2000 roku założył czasopismo ACM Transactions on Computational Logic i był jego redaktorem naczelnym w latach 2000–2005. Od 1989 roku pełni role redakcyjne w "Journal of Logic and Computation", a od 2001 roku w "Theory and Practice of Logic Programming". Jego artykuły ukazywały się m.in. w "Journal of the ACM", "The Journal of Logic Programming", "Information Processing Letters", "International Game Theory Review" oraz "Distributed Computing".
Apt jest redaktorem i autorem książek, rozdziałów oraz licznych artykułów naukowych. Działał także na polu inicjatyw kulturalnych i naukowych — był współzałożycielem i pierwszym dyrektorem administracyjnym "Zeszytów Literackich" w latach 1982–1984 oraz jednym z inicjatorów Nagrody im. Witolda Lipskiego.
