Krzysztof Apt

---

Życiorys

Krzysztof Apt, wybitny matematyk i logik, swoje edukacyjne kroki rozpoczął w rodzinnych Katowicach, gdzie ukończył VIII Liceum Ogólnokształcące im. Wilhelma Piecka. Następnie podjął studia z zakresu matematyki na Uniwersytecie Wrocławskim. W 1974 roku uzyskał stopień doktorski z logiki matematycznej na Uniwersytecie Warszawskim, gdzie przygotował swoją pracę doktorską pod kierunkiem profesor Andrzeja Stanisława Mostowskiego, noszącą tytuł „Niefinitystyczne reguły wnioskowania”.

Po obronie doktoratu Krzysztof Apt wyemigrował na Zachód, gdzie przez długie lata, od 1991 do 2014 roku, pełnił funkcję profesora na Universiteit van Amsterdam, co przyczyniło się do wzbogacenia środowiska akademickiego. Oprócz działalności w Amsterdamie, profesor Apt jest także wizytującym profesorem w Instytucie Informatyki na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego.

W 2000 roku założył czasopismo naukowe „ACM Transactions on Computational Logic”, którym kierował jako redaktor naczelny do 2005 roku. Jego wkład w rozwój badań logicznych został doceniony, w 2006 roku został członkiem Academia Europea, co potwierdza jego wpływ w środowisku akademickim w Europie.

Profesor Apt jest także redaktorem oraz autorem wielu książek, rozdziałów w pracach zbiorowych oraz licznych artykułów naukowych. Od 1989 roku sprawuje funkcję redaktora periodyku „Journal of Logic and Computation”, a od 2001 roku jest odpowiedzialny za „Theory and Practice of Logic Programming”. Warto wspomnieć, że jego prace publikowane były w uznawanych czasopismach, takich jak „Journal of the ACM”, „The Journal of Logic Programming”, „Information Processing Letters”, „International Game Theory Review” oraz „Distributed Computing”.

Jest również jednym z inicjatorów Nagrody im. Witolda Lipskiego, co świadczy o jego zaangażowaniu w promowanie osiągnięć w dziedzinie logiki i matematyki.

---

Oceń: Krzysztof Apt

---