Krzysztof Apt
Państwo działania

 Holandia

Data i miejsce urodzenia

1949
Katowice

profesor nauk matematycznych
Specjalność: programowanie logiczne, teoria weryfikacji programów, teoria gier
Alma Mater

Uniwersytet Wrocławski

Doktorat

1974 – matematyka
Uniwersytet Warszawski

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. Współzałożyciel i pierwszy dyrektor administracyjny (1982–1984) „Zeszytów Literackich".

Życiorys

W rodzinnych Katowicach ukończył VIII Liceum Ogólnokształcące im. Wilhelma Piecka. Matematykę studiował na Uniwersytecie Wrocławskim. 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. Po doktoracie wyemigrował na Zachód. W latach 1991–2014 był profesorem Universiteit van Amsterdam. Poza Amsterdamem pracuje także jako profesor wizytujący Instytutu Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego.

W 2000 roku założył czasopismo „ACM Transactions on Computational Logic”, którego był redaktorem naczelnym w latach 2000–2005. Od 2006 jest członkiem Academia Europea.

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”. 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”.

Jest jednym z inicjatorów Nagrody im. Witolda Lipskiego.

Przypisy

  1. ↑ Krzysztof R. Apt (strona domowa). homepages.cwi.nl. [dostęp 2016-08-18]. (ang.).
  2. 1 2 3 4 5 Krzysztof Apt – biogram na stronie Centrum Wiskunde & Informatica (CWI). cwi.nl. [dostęp 2016-08-18]. (ang.).
  3. ↑ "Zeszyty Literackie" : chwila wspomnień / Krzysztof R. Apt.. Katalog elektroniczny Biblioteki Narodowej. [dostęp 2016-08-19].
  4. ↑ Krzysztof Apt (biografia). homepages.cwi.nl. [dostęp 2016-08-18]. (ang.).
  5. ↑ Prof. dr Krzysztof Rafał Apt, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-08-19].
  6. ↑ Krzysztof R. Apt. Mathematics Genealogy Project. [dostęp 2016-08-18]. (ang.).
  7. ↑ prof. dr Krzysztof Apt. usosweb.uw.edu.pl. [dostęp 2016-06-18].
  8. ↑ prof. dr Krzysztof Apt. mimuw.edu.pl. [dostęp 2016-07-14].
  9. ↑ Krzysztof R. Apt (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
  10. ↑ Krzysztof R. Apt. researchgate.net. [dostęp 2016-08-11]. (ang.).
  11. ↑ Krzysztof Apt (publikacje). springer.com. [dostęp 2016-08-11]. (ang.).
  12. ↑ Apt, Krzysztof R. (1949- ). Katalog elektroniczny Biblioteki Narodowej. [dostęp 2016-08-11].
  13. ↑ Krzysztof R. Apt (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
  14. ↑ Krzysztof R. Apt (publikacje). arxiv.org. [dostęp 2016-08-18]. (ang.).
  15. ↑ Nagroda im. Witolda Lipskiego. nagrodalipskiego.mimuw.edu.pl. [dostęp 2016-08-18].
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.