| Dane podstawowe | |
|---|---|
| Imię i nazwisko | Krzysztof Rafał Apt |
| Data urodzenia | 1949 |
| Miejsce urodzenia | Katowice |
| Zawód | matematyk, informatyk |
| Specjalizacje | programowanie logiczne; weryfikacja programów; teoria gier |
| Wykształcenie | |
| Szkoła średnia | VIII Liceum Ogólnokształcące im. Wilhelma Piecka (Katowice) |
| Studia | Uniwersytet Wrocławski (matematyka) |
| Stopień | doktor logiki matematycznej, Uniwersytet Warszawski (1974) |
| Kariera | |
| Uczelnia | Universiteit van Amsterdam (profesor 1991–2014, od 2014 emerytowany) |
| Role | CWI fellow; profesor wizytujący Instytut Informatyki Wydziału MIM Uniwersytetu Warszawskiego |
| Działalność naukowa i wydawnicza | |
| Redakcje | założyciel "ACM Transactions on Computational Logic" (redaktor naczelny 2000–2005); redaktor "Journal of Logic and Computation" (od 1989); redaktor "Theory and Practice of Logic Programming" (od 2001) |
| Członkostwa | Academia Europea (od 2006) |
| Inne | |
| Inicjatywy | współzałożyciel i pierwszy dyrektor administracyjny "Zeszytów Literackich" (1982–1984); jeden z inicjatorów Nagrody im. Witolda Lipskiego |
Krzysztof Apt zajmuje się zagadnieniami łączenia metod logiki z informatyką. W jego dorobku znajdują się prace teoretyczne oraz redakcja periodyków poświęconych logice obliczeń i programowaniu logicznemu.
Życiorys i wykształcenie
Urodził się w 1949 roku w Katowicach i tam uczęszczał do VIII Liceum Ogólnokształcącego im. Wilhelma Piecka. Studiował matematykę na Uniwersytecie Wrocławskim. Stopień doktora z logiki matematycznej uzyskał w 1974 roku na Uniwersytecie Warszawskim na podstawie pracy pt. "Niefinitystyczne reguły wnioskowania", przygotowanej pod kierunkiem prof. Andrzeja Stanisława Mostowskiego.
Po obronie doktoratu wyemigrował na Zachód, gdzie kontynuował karierę naukową i badawczą.
Kariera naukowa i redakcyjna
W latach 1991–2014 pracował jako profesor na Universiteit van Amsterdam; od 2014 roku ma status emerytowanego profesora. Jest CWI fellow w holenderskim Centrum voor Wiskunde en Informatica. Poza Amsterdamem 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 pełnił funkcję redaktora naczelnego w latach 2000–2005. Od 1989 roku redagował "Journal of Logic and Computation", a od 2001 roku uczestniczy w redakcji "Theory and Practice of Logic Programming". Publikował artykuły i rozdziały w pracach zbiorowych oraz w czasopismach takich jak "Journal of the ACM", "The Journal of Logic Programming", "Information Processing Letters", "International Game Theory Review" i "Distributed Computing".
Działalność edytorska i inicjatywy
W 1982 roku współzałożył pismo "Zeszyty Literackie" i pełnił funkcję pierwszego dyrektora administracyjnego w latach 1982–1984. Był też jednym z inicjatorów Nagrody im. Witolda Lipskiego.
Jest autorem i redaktorem książek, rozdziałów oraz licznych artykułów naukowych związanych z programowaniem logicznym, weryfikacją programów i teorią gier.
Gdzie publikował i jakie pełnił funkcje?
Publikował w międzynarodowych periodykach z zakresu informatyki i teorii gier. Pełnił funkcje redakcyjne w kilku tytułach naukowych i założył istotne czasopismo z obszaru logiki obliczeń. W 2006 roku został przyjęty do Academia Europea.
Jeden z ważnych aspektów jego działalności naukowej to łączenie logiki z praktyką informatyczną oraz praca redakcyjna na rzecz rozwoju tej dziedziny.
