Biography: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 Warsaw, Poland in 1974.[1] His research interests include program correctness and semantics, use of logic as a programming language, distributed computing, and game theory. Besides his own research, he has been heavily involved in service to the computing community, notably by promoting the use of logic in computer science (in particular by founding a new journal) 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, Computer Science, UT Austin, 1987–1990[2]), and Singapore (Visiting Professor, Computer Science, NUS, 2002–2005).[4]
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 program correctness and semantics, use of logic as a programming language, distributed computing, and game theory. In particular, with coauthors he introduced the concept of stratification in logic programming to provide a way to deal with negation in logic and Datalog programs.[8] His comprehensive survey of Hoare logic, written with Ernst-Rüdiger Olderog, summarizes the history of the subject since its inception in 1969.[9]
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
- From Logic Programming to Prolog. Prentice Hall. 1997. ISBN 978-0-13-230368-2.
- Principles of Constraint Programming. Cambridge University Press. 2003. doi:10.1017/CBO9780511615320. ISBN 978-0-521-82583-2.
- Constraint Logic Programming using Eclipse. Cambridge University Press. 2007. doi:10.1017/CBO9780511607400. ISBN 978-0-521-86628-6.
- Verification of Sequential and Concurrent Programs (3rd ed.). Springer-Verlag. 2009. doi:10.1007/978-1-4757-4376-0. ISBN 978-1848827448. https://ir.cwi.nl/pub/14569.
Books edited
- Logics and Models of Concurrent Systems. Springer Verlag, Berlin, Heidelberg. 1989. doi:10.1007/978-3-642-82453-1. ISBN 0387151818.
- Logic Programming Languages: Constraints, Functions, and Objects.. MIT Press, Cambridge, MA. 1993. ISBN 9780262511674. Presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming
- The Logic Programming Paradigm: A 25-Year perspective. Artificial Intelligence. Springer Verlag. 1999. doi:10.1007/978-3-642-60085-2. ISBN 978-3-642-64249-4. Reveals the evolution of logic programming since its inception and the impressively broad scope of current research in the field
- Lectures on Game Theory for Computer Scientists. Cambridge University Press. 2011. doi:10.1017/CBO9780511973468. ISBN 9780511973468.
- Edsger Wybe Dijkstra: His Life, Work, and Legacy. ACM, New York, NY. 2022. doi:10.1145/3544585. ISBN 9781450397735. In the ACM series of books on Turing Award 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". Board of Regents, University of Texas System. 13 August 1987. p. 109. https://utsystem.edu/sites/default/files/offices/board-of-regents/board-meetings/board-minutes/8-87meeting828.pdf. Retrieved 2022-11-19.
- ↑ 3.0 3.1 "Krzysztof R. Apt". 2006. https://www.ae-info.org/ae/Member/Apt_Krzysztof.
- ↑ Apt's various positions are listed in his member webpage of the Academia Europaea: [3]
- ↑ "Krzysztof Apt". https://www.cwi.nl/people/krzysztof-apt.
- ↑ "Krzysztof Rafał Apt". 16 June 2015. https://www.mimuw.edu.pl/en/profesury/krzysztof-rafal-apt.
- ↑ "ILLC Staff". https://www.illc.uva.nl/People/Staff/#Retired-Staff.
- ↑ "Chapter 2 - Towards a theory of declarative knowledge". Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers. 1988. pp. 89–148. doi:10.1016/B978-0-934613-40-8.50006-3. ISBN 9780934613408. https://scholar.google.nl/citations?view_op=view_citation&hl=en&user=80M1xD0AAAAJ&citation_for_view=80M1xD0AAAAJ:u5HHmVD_uO8C.
- ↑ "Fifty years of Hoare's logic". Formal Aspects of Computing (Springer Verlag, Berlin, Heidelberg) 31 (6): 751–807. December 2019. doi:10.1007/s00165-019-00501-3. https://ir.cwi.nl/pub/29146/29146.pdf.
- ↑ "Membership". https://www.ae-info.org/ae/Acad_Main/Membership/Becoming_a_member.
- ↑ Apt, Krzysztof R. (October 2005). "EDITORIAL". ACM Transactions on Computational Logic 6 (4): 673. doi:10.1145/1094622.1094623.
- ↑ "Witold Lipski Prize for Young Researchers in Computer Science". https://nagrodalipskiego.mimuw.edu.pl/prize.html.
- ↑ Apt, Krzysztof R. (2001). "Viewpoint: One more revolution to make: free scientific publishing". Communications of the ACM 44 (5): 25–28. doi:10.1145/374308.374325.
- ↑ Welcome to the Computing Research Repository (CoRR), https://arxiv.org/corr
External links
- CWI home page: "Krzysztof R. Apt". https://homepages.cwi.nl/~apt/.
- CWI staff page: "Krzysztof Apt". https://www.cwi.nl/people/krzysztof-apt.
- Polish Science webpage: "prof. dr Krzysztof Rafał Apt". https://nauka-polska.pl/#/profile/scientist?id=204902&_k=x3n861.
- Google scholar: "Krzysztof R. Apt". https://scholar.google.nl/citations?user=80M1xD0AAAAJ&hl=en.
- ResearchGate: "Krzysztof R. Apt". https://www.researchgate.net/profile/Krzysztof-Apt.
- Springer link: "Krzysztof Apt". https://link.springer.com/search?query=Krzysztof+Apt.
- dblp computer science bibliography: "Krzysztof R. Apt". https://dblp.uni-trier.de/pid/a/KRApt.html.
- arxiv: "Krzysztof R. Apt". https://arxiv.org/search/?query=Krzysztof+R.+Apt&searchtype=all&abstracts=show&order=-announced_date_first.
 |  |
