World's Best Scientists 2026 revealed!
Award Badge
Computer Science
Netherlands
2025

D-Index & Metrics

Computer Science

D-Index
52
Citations
18321
World Ranking
4961
National Ranking
71

Research.com Recognitions

  • 2025 - Research.com Computer Science in Netherlands Leader Award
  • 2022 - Research.com Computer Science in Netherlands Leader Award
  • 2006 - Member of Academia Europaea

Overview

Krzysztof R. Apt is affiliated with the Centrum Wiskunde & Informatica in the Netherlands. Their research spans across multiple fields, primarily in computer science and economics, econometrics, and finance. The main areas of study include artificial intelligence, economics and econometrics, computational theory and mathematics, management science and operations research, and computer networks and communications.

The scientist's work focuses extensively on topics such as game theory and applications, economic theories and models, logic, programming and type systems, game theory and voting systems, security and verification in computing, logic, reasoning and knowledge, as well as computability, logic, and AI algorithms.

Recent papers by Krzysztof R. Apt include:

  • Characterization of incentive compatible single-parameter mechanisms revisited, 2022, Journal of Mechanism and Institution Design
  • Well-Founded Extensive Games with Perfect Information, 2021, Electronic Proceedings in Theoretical Computer Science
  • A tutorial for computer scientists on finite extensive games with perfect information, 2022, arXiv (Cornell University)
  • Coordination Games on Weighted Directed Graphs, 2021, Mathematics of Operations Research
  • Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders, 2022, ACM eBooks

Frequent coauthors in their research collaborations include Sunil Simon, Ernst-Rüdiger Olderog, Tony Hoare, Jan Heering, and Frank S. de Boer.

The scientist publishes regularly in venues such as arXiv (Cornell University), Electronic Proceedings in Theoretical Computer Science, Journal of Mechanism and Institution Design, Mathematics of Operations Research, and ACM eBooks.

Krzysztof R. Apt has also authored book publications, with at least one known title: A Brief History of Mathematics for Curious Minds, published in 2023 by World Scientific.

They have been recognized as a Member of Academia Europaea since 2006.

Best Publications

  • Towards a theory of declarative knowledge

    K. R. Apt;H. A. Blair;A. Walker

  • Logic Programming

    Krzysztof R. Apt

  • Principles of constraint programming

    Krzysztof Apt

  • Contributions to the Theory of Logic Programming

    Krzysztof R. Apt;M. H. van Emden

  • Ten Years of Hoare's Logic: A Survey—Part I

    Krzysztof R. Apt

  • Logic Programming and Negation: A Survey.

    Krzysztof R. Apt;Roland N. Bol

  • Limits for automatic verification of finite-state concurrent systems

    K R Apt;D C Kozen

  • From logic programming to Prolog

    Krzysztof R. Apt

  • Constraint Logic Programming using Eclipse

    Krzysztof R. Apt;Mark Wallace

  • A Proof System for Communicating Sequential Processes

    Krzysztof R. Apt;Nissim Francez;Willem P. de Roever

  • Introduction to Logic Programming

    Krzysztof R. Apt

  • The Logic Programming Paradigm: A 25-Year Perspective

    Krzysztof R. Apt;Victor W. Marek;Mirek Truszczynski;David S. Warren

  • A GENERIC APPROACH TO COALITION FORMATION

    Krzysztof R. Apt;Andreas Witzel

  • Logics and models of concurrent systems

    Krzysztof R. Apt

  • Verification of sequential and concurrent programs

    K.R. Apt;E.R. Olderog

  • The essence of constraint propagation

    K. R. Apt

  • Acyclic programs

    Krzysztof R. Apt;Marc Bezem

  • Concepts in Programming Languages

    John C. Mitchell;Krzysztof Apt

  • Countable nondeterminism and random assignment

    K. R. Apt;G. D. Plotkin

  • Appraising Fairness in Languages for Distributed Programming

    Krzysztof R. Apt;Nissim Francez;Shmuel Katz

Frequent Co-Authors

Ernst-Rüdiger Olderog
Ernst-Rüdiger Olderog Carl von Ossietzky University of Oldenburg
Andrea Schaerf
Andrea Schaerf University of Udine
Francesca Rossi
Francesca Rossi IBM (United States)
Dino Pedreschi
Dino Pedreschi University of Pisa
Jan Willem Klop
Jan Willem Klop Vrije Universiteit Amsterdam
Elena Marchiori
Elena Marchiori Radboud University
Nissim Francez
Nissim Francez Technion – Israel Institute of Technology
Wiebe van der Hoek
Wiebe van der Hoek University of Liverpool
Farhad Arbab
Farhad Arbab Leiden University
Antonis C. Kakas
Antonis C. Kakas University of Cyprus

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education expands your options beyond traditional campus-based programs. Today, there are many cheap online colleges that offer recognized computer science degrees, making advanced study more affordable.

If your academic history includes challenges, don’t worry—there are excellent college with low gpa admission options available, allowing you to pursue your goals regardless of your past grades.

Computer science skills can open up a wide range of career possibilities. For those interested in technology’s impact on the world, consider how a computer science background intersects with fields like sustainability—see what can i do with an environmental science degree for insights on combining technical and environmental pursuits.

If you want to enter the workforce quickly, you might explore a fast track computer science degree. These intensive programs are designed to help you gain credentials in less time.

Best Scientists Citing Krzysztof R. Apt

Trending Scientists