Krzysztof R. Apt
Krzysztof R. Apt (born 26 December 1949 in Katowice, Poland) is a Polish computer scientist. He defended his PhD in mathematical logic in
Academic career
Apt has held various scientific positions in Poland, the Netherlands,
Apt is a Fellow at CWI (National Research Institute for Mathematics and Computer Science)[5] in Amsterdam and Affiliated Professor at the University of Warsaw.[6] Since 2014 he is also Professor Emeritus at the University of Amsterdam.[7]
His research interests include
Apt is a member of Academia Europaea,[3] 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.[10] He is the founder and first Editor-in-Chief of the ACM Transactions on Computational Logic[11] and past 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.[12]
Apt has long been an active advocate of open and free access to scientific publications(e.g.[13]) and is a member of the Advisory Committee of the portion of the repository arXiv known as the Computing Research Repository (CoRR)[14]
Books published
- — (1997). From Logic Programming to Prolog. S2CID 46574027.
- — (2003). Principles of Constraint Programming. S2CID 5616873.
- —; Wallace, Marc (2007). Constraint Logic Programming using Eclipse. S2CID 2249540.
- —; de Boer, Frank; Olderog, Ernst-Rüdiger (2009). Verification of Sequential and Concurrent Programs (3rd ed.). S2CID 9478945.
- — (2023). A Brief History of Mathematics for Curious Minds. S2CID 259465497.
Books edited
- —, ed. (1989). Logics and Models of Concurrent Systems. S2CID 21461231.
- —; de Bakker, J.W.; Rutten, J.M., eds. (1993). Logic Programming Languages: Constraints, Functions, and Objects. ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming
- —; Marek, V.W.; Truszczynski, M.; Warren, D.S., eds. (1999). The Logic Programming Paradigm: A 25-Year perspective. Artificial Intelligence. S2CID 2807312. Reveals the evolution of logic programmingsince its inception and the impressively broad scope of current research in the field
- —; Graedel, Erich, eds. (2011). Lectures on Game Theory for Computer Scientists. ISBN 9780511973468.
- —; winners
References
- ^ Krzysztof R. Apt at the Mathematics Genealogy Project
- ^ "Meeting No. 828. The Minutes of the Board of Regents of the University of Texas System" (PDF). Board of Regents, University of Texas System. 13 August 1987. p. 109. Retrieved 2022-11-19.
- ^ a b "Krzysztof R. Apt". Academia Europaea - The Academy of Europe. 2006. Retrieved 2022-10-15.
- ^ Apt's various positions are listed in his member webpage of the Academia Europaea: [3]
- ^ "Krzysztof Apt". CWI Centrum Wiskunde & Informatica. Retrieved 2022-10-17.
- ^ "Krzysztof Rafał Apt". University of Warsaw, Faculty of Mathematics, Informatics and Mechanics. 16 June 2015. Retrieved 2022-10-17.
- ^ "ILLC Staff". University go Amsterdam, Institute for Logic, Language and Computation. Retrieved 2022-10-16.
- ISBN 9780934613408.
- S2CID 102351597.
- ^ "Membership". Academia Europaea - The Academy of Europe. Retrieved 2022-11-07.
- S2CID 263875068.
- ^ "Witold Lipski Prize for Young Researchers in Computer Science". Retrieved 2022-11-07.
- S2CID 12485666.
- ^ Welcome to the Computing Research Repository (CoRR), archived from the original on January 4, 2022
External links
- CWI home page: "Krzysztof R. Apt". CWI Centrum Wiskunde & Informatica. Retrieved 2022-11-09.
- CWI staff page: "Krzysztof Apt". CWI Centrum Wiskunde & Informatica. Retrieved 2022-11-09.
- Polish Science webpage: "prof. dr Krzysztof Rafał Apt". Nowa Nauka Polska. Retrieved 2022-11-09.
- Google scholar: "Krzysztof R. Apt". scholar.google.nl. Retrieved 2022-11-09.
- ResearchGate: "Krzysztof R. Apt". researchgate. Retrieved 2022-11-09.
- Springer link: "Krzysztof Apt". Springer Link. Retrieved 2022-11-09.
- dblp computer science bibliography: "Krzysztof R. Apt". dblp.uni-trier.de. Retrieved 2022-11-09.
- arxiv: "Krzysztof R. Apt". arxiv.org. Retrieved 2022-11-09.