Krzysztof R. Apt Explained

Krzysztof R. Apt (born 26 December 1949 in Katowice, Poland)is a Polish computer scientist. He defended his PhD in mathematical logic inWarsaw, Poland in 1974. His research interests include program correctness and semantics, useof logic as a programming language, distributed computing, and game theory. Besides his own research, he has been heavily involved in service tothe computing community, notably by promoting theuse of logic in computer science (in particular by founding a newjournal) and by advocating open access to scientific literature.

Academic career

Apt has held various scientific positions in Poland, the Netherlands,France, the U.S. (the William B. Blakemore II Professor, ComputerScience, UT Austin, 1987–1990^[1]), and Singapore (VisitingProfessor, Computer Science, NUS, 2002–2005).

Apt is a Fellow at CWI (National Research Institute for Mathematics and Computer Science)^[2] in Amsterdam and Affiliated Professor at the University of Warsaw.^[3] Since 2014 he is also Professor Emeritus at the University of Amsterdam.^[4]

His research interests include program correctness and semantics, useof logic as a programming language, distributed computing, and game theory. In particular, with coauthors he introduced the concept ofstratification in logic programming to provide a way to deal withnegation in logic and Datalog programs.^[5] His comprehensive survey of Hoare logic, written withErnst-Rüdiger Olderog, summarizesthe history of the subject since its inception in 1969.^[6]

Apt is a member of Academia Europaea,^[7] which serves as "a pan-European Academy of Sciences, Humanities and Letters"; membership is by invitation only and follows a rigorous peer review selection process.^[8] He is the founder and firstEditor-in-Chief of the ACM Transactions on Computational Logic^[9] andpast president of the Association for Logic Programming (ALP). He is one of the three initiators of the Witold Lipski Prize for Young Researchers in Computer Science.^[10]

Apt has long been an active advocate of open and free access to scientificpublications(e.g.^[11]) and is a member of the Advisory Committee of the portion of the repository arXiv known as the Computing Research Repository (CoRR)

Books published

• Book: Krzysztof R. . Apt . 1 . From Logic Programming to Prolog . 1997 . . 978-0-13-230368-2 . 46574027 .
• Book: Krzysztof R. . Apt . 1 . Principles of Constraint Programming . 2003 . . 978-0-521-82583-2 . 5616873 . 10.1017/CBO9780511615320.
• Book: Krzysztof R. . Apt . 1 . Marc . Wallace . Constraint Logic Programming using Eclipse . 2007 . . 978-0-521-86628-6 . 2249540 . 10.1017/CBO9780511607400.
• Book: Krzysztof R. . Apt . 1 . Frank . de Boer . Ernst-Rüdiger . Olderog . Verification of Sequential and Concurrent Programs . 2009 . 3rd . . 978-1848827448 . 9478945 . 10.1007/978-1-4757-4376-0.
• Book: Krzysztof R. . Apt . 1 . A Brief History of Mathematics for Curious Minds . 2023 . . 978-981-12-8044-3 . 259465497 . 10.1142/13518.

Books edited

• Book: Krzysztof R.. Apt. 1. Logics and Models of Concurrent Systems. 1989. Springer Verlag, Berlin, Heidelberg. 10.1007/978-3-642-82453-1. 0387151818. 21461231.
• Book: Krzysztof R.. Apt. 1. J.W.. de Bakker. J.M.. Rutten. Logic Programming Languages: Constraints, Functions, and Objects.. 1993. MIT Press, Cambridge, MA. 9780262511674. 60961390. Presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming
• Book: Krzysztof R.. Apt. 1. V.W.. Marek. M.. Truszczynski. D.S.. Warren. The Logic Programming Paradigm: A 25-Year perspective. Artificial Intelligence. 1999. Springer Verlag. 10.1007/978-3-642-60085-2. 978-3-642-64249-4. 2807312. Reveals the evolution of logic programming since its inception and the impressively broad scope of current research in the field
• Book: Krzysztof R.. Apt. 1. Erich. Graedel. Lectures on Game Theory for Computer Scientists. 2011. Cambridge University Press. 10.1017/CBO9780511973468. 9780511973468.
• Book: Krzysztof R. . Apt . 1 . Tony . Hoare . Tony Hoare . Edsger Wybe Dijkstra: His Life, Work, and Legacy . 2022 . ACM, New York, NY . 10.1145/3544585. 9781450397735 . 250497032 . In the ACM series of books on Turing Award winners

External links

• CWI home page: Web site: Krzysztof R. Apt . CWI Centrum Wiskunde & Informatica. 2022-11-09.
• CWI staff page: Web site: Krzysztof Apt . CWI Centrum Wiskunde & Informatica. 2022-11-09.
• Polish Science webpage: Web site: prof. dr Krzysztof Rafał Apt . Nowa Nauka Polska. 2022-11-09.
• Google scholar: Web site: Krzysztof R. Apt . scholar.google.nl. 2022-11-09.
• ResearchGate: Web site: Krzysztof R. Apt . researchgate. 2022-11-09.
• Springer link: Web site: Krzysztof Apt . Springer Link. 2022-11-09.
• dblp computer science bibliography: Web site: Krzysztof R. Apt . dblp.uni-trier.de. 2022-11-09.
• arxiv: Web site: Krzysztof R. Apt . arxiv.org. 2022-11-09.

Notes and References

1. Web site: Meeting No. 828. The Minutes of the Board of Regents of the University of Texas System. 13 August 1987. Board of Regents, University of Texas System. 2022-11-19. 109.
2. Web site: Krzysztof Apt . CWI Centrum Wiskunde & Informatica. 2022-10-17.
3. Web site: Krzysztof Rafał Apt . 16 June 2015. University of Warsaw, Faculty of Mathematics, Informatics and Mechanics. 2022-10-17.
4. Web site: ILLC Staff. University go Amsterdam, Institute for Logic, Language and Computation. 2022-10-16.
5. Book: Krzysztof R. . Apt . 1 . Howard A. . Blair . Walker . Adrian . Chapter 2 - Towards a theory of declarative knowledge . https://scholar.google.nl/citations?view_op=view_citation&hl=en&user=80M1xD0AAAAJ&citation_for_view=80M1xD0AAAAJ:u5HHmVD_uO8C . 1988 . Foundations of Deductive Databases and Logic Programming . 89–148 . Minker. Jack. Jack Minker . . 10.1016/B978-0-934613-40-8.50006-3. 9780934613408 .
6. Krzysztof R. . Apt . 1 . Olderog . Ernst-Rüdiger . Ernst-Rüdiger Olderog . Fifty years of Hoare's logic . December 2019 . . 31 . 6 . 751–807 . Springer Verlag, Berlin, Heidelberg . 102351597 . 10.1007/s00165-019-00501-3 . free.
7. Web site: Krzysztof R. Apt . 2006. Academia Europaea - The Academy of Europe. 2022-10-15.
8. Web site: Membership . Academia Europaea - The Academy of Europe. 2022-11-07.
9. Apt . Krzysztof R. . 1 . EDITORIAL . . 6 . 4 . 673 . October 2005 . 10.1145/1094622.1094623 . 263875068 .
10. Web site: Witold Lipski Prize for Young Researchers in Computer Science . 2022-11-07.
11. Apt . Krzysztof R.. 1. Viewpoint: One more revolution to make: free scientific publishing. 10.1145/374308.374325. . 44. 5. 25 - 28. 2001. 12485666.