| Dane | |
|---|---|
| Imię i nazwisko | Krzysztof Rafał Apt |
| Data urodzenia | 1949 |
| Miejsce urodzenia | Katowice |
| Zawód | matematyk, informatyk |
| Specjalizacje | programowanie logiczne, teoria weryfikacji programów, teoria gier |
| Edukacja | |
| Liceum | VIII Liceum Ogólnokształcące im. Wilhelma Piecka, Katowice |
| Studia | Uniwersytet Wrocławski, matematyka |
| Doktorat | Uniwersytet Warszawski, 1974 — "Niefinitystyczne reguły wnioskowania" |
| Kariera | |
| Profesor | Uniwersytet Amsterdamski (1991–2014), od 2014 emerytowany |
| CWI | CWI fellow, Centrum voor Wiskunde en Informatica |
| Profesor wizytujący | Instytut Informatyki, Wydział Matematyki, Informatyki i Mechaniki, Uniwersytet Warszawski |
| Redakcje i działalność naukowa | |
| Założone czasopismo | ACM Transactions on Computational Logic (założyciel, redaktor naczelny 2000–2005) |
| Redaktor | Journal of Logic and Computation (od 1989), Theory and Practice of Logic Programming (od 2001) |
| Członkostwo | Academia Europea (od 2006) |
| Inne | |
| Wydawnictwa | współzałożyciel i pierwszy dyrektor administracyjny "Zeszytów Literackich" (1982–1984) |
| Inicjatywy | współinicjator Nagrody im. Witolda Lipskiego |
Krzysztof Apt jest autorem i redaktorem wielu książek i rozdziałów oraz licznych artykułów naukowych. Pisał i publikuje w periodykach takich jak Journal of the ACM, The Journal of Logic Programming, Information Processing Letters, International Game Theory Review oraz Distributed Computing.
Życiorys i wykształcenie
Urodził się w Katowicach w 1949 roku. Ukończył VIII Liceum Ogólnokształcące im. Wilhelma Piecka. Studia matematyczne odbył na Uniwersytecie Wrocławskim. Doktorat z logiki matematycznej uzyskał na Uniwersytecie Warszawskim w 1974 roku na podstawie pracy zatytułowanej "Niefinitystyczne reguły wnioskowania", przygotowanej pod kierunkiem prof. Andrzeja Stanisława Mostowskiego.
Bezpośrednio po uzyskaniu stopnia doktora wyemigrował na Zachód. Informacje o kolejnych etapach kariery zawodowej wiążą go z ośrodkami badawczymi w Holandii i w Polsce.
Kariera naukowa i redakcje
W latach 1991–2014 pełnił obowiązki profesora na Uniwersytecie Amsterdamskim; od 2014 roku ma status emerytowanego profesora. Jest również związany z Centrum voor Wiskunde en Informatica jako CWI fellow. Poza Amsterdame działa 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 funkcję redaktora w Journal of Logic and Computation, a od 2001 roku w Theory and Practice of Logic Programming. Jego publikacje pojawiają się w czołowych czasopismach informatycznych i matematycznych.
Działalność wydawnicza i inicjatywy
Poza pracą naukową współtworzył działalność wydawniczą. Był jednym ze współzałożycieli i pierwszym dyrektorem administracyjnym czasopisma "Zeszyty Literackie" w latach 1982–1984. Angażował się także w inicjatywy środowiskowe, między innymi jako współinicjator Nagrody im. Witolda Lipskiego.
