Krzysztof Apt
| Państwo działania | |
|---|---|
| Data i miejsce urodzenia |
1949 |
| profesor nauk matematycznych | |
| Specjalność: programowanie logiczne, teoria weryfikacji programów, teoria gier | |
| Alma Mater | |
| Doktorat |
1974 – matematyka |
| praca naukowa | |
| Instytut |
Centrum voor Wiskunde en Informatica (CWI fellow) |
| Okres zatrudn. |
1987–2014 |
| Uczelnia |
Uniwersytet Amsterdamski (profesor) |
| Okres zatrudn. |
1991–2014 |
Krzysztof Rafał Apt (ur. 1949 w Katowicach) – polski matematyk i informatyk. Specjalizuje się w programowaniu logicznym, teorii weryfikacji programów i teorii gier. CWI fellow w holenderskim Centrum voor Wiskunde en Informatica oraz profesor (od 2014 emerytowany) na Uniwersytecie Amsterdamskim[1][2]. Współzałożyciel i pierwszy dyrektor administracyjny (1982–1984) „Zeszytów Literackich"[3].
Życiorys[edytuj | edytuj kod]
W rodzinnych Katowicach ukończył VIII Liceum Ogólnokształcące im. Wilhelma Piecka. Matematykę studiował na Uniwersytecie Wrocławskim[4]. Stopień doktorski uzyskał z logiki matematycznej na Uniwersytecie Warszawskim w 1974 na podstawie pracy pt. Niefinitystyczne reguły wnioskowania przygotowanej pod kierunkiem prof. Andrzeja Stanisława Mostowskiego[5][6]. Po doktoracie wyemigrował na Zachód. W latach 1991–2014 był profesorem Universiteit van Amsterdam[2]. Poza Amsterdamem pracuje także jako profesor wizytujący Instytutu Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego[7][8].
W 2000 roku założył czasopismo „ACM Transactions on Computational Logic”, którego był redaktorem naczelnym w latach 2000–2005[2]. Od 2006 jest członkiem Academia Europea[2].
Redaktor i autor szeregu książek, rozdziałów w pracach zbiorowych i licznych artykułów. Od 1989 jest redaktorem periodyku „Journal of Logic and Computation”, a od 2001 „Theory and Practice of Logic Programming”[2]. Swoje prace publikował w takich czasopismach jak m.in. „Journal of the ACM”, „The Journal of Logic Programming” „Information Processing Letters”, „International Game Theory Review” oraz „Distributed Computing”[9][10][11][12][13][14].
Jest jednym z inicjatorów Nagrody im. Witolda Lipskiego[15].
Przypisy[edytuj | edytuj kod]
- ↑ Krzysztof R. Apt (strona domowa). homepages.cwi.nl. [dostęp 2016-08-18]. (ang.).
- ↑ a b c d e Krzysztof Apt – biogram na stronie Centrum Wiskunde & Informatica (CWI). cwi.nl. [dostęp 2016-08-18]. (ang.).
- ↑ "Zeszyty Literackie" : chwila wspomnień / Krzysztof R. Apt.. Katalog elektroniczny Biblioteki Narodowej. [dostęp 2016-08-19].
- ↑ Krzysztof Apt (biografia). homepages.cwi.nl. [dostęp 2016-08-18]. (ang.).
- ↑ Prof. dr Krzysztof Rafał Apt, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI) [dostęp 2016-08-19].
- ↑ Krzysztof R. Apt. Mathematics Genealogy Project. [dostęp 2016-08-18]. (ang.).
- ↑ prof. dr Krzysztof Apt. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ prof. dr Krzysztof Apt. mimuw.edu.pl. [dostęp 2016-07-14].
- ↑ Krzysztof R. Apt (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
- ↑ Krzysztof R. Apt. researchgate.net. [dostęp 2016-08-11]. (ang.).
- ↑ Krzysztof Apt (publikacje). springer.com. [dostęp 2016-08-11]. (ang.).
- ↑ Apt, Krzysztof R. (1949- ). Katalog elektroniczny Biblioteki Narodowej. [dostęp 2016-08-11].
- ↑ Krzysztof R. Apt (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
- ↑ Krzysztof R. Apt (publikacje). arxiv.org. [dostęp 2016-08-18]. (ang.).
- ↑ Nagroda im. Witolda Lipskiego. nagrodalipskiego.mimuw.edu.pl. [dostęp 2016-08-18].