K.R. Apt

Krzysztof Apt is a Professor at the University of Amsterdam and a CWI-Fellow. His academic work focuses on theoretical computer science, game theory, and formal verification of algorithms. He is affiliated with the Networks and Optimization department at the University of Amsterdam.

Research Interests

His research spans multiple fields including:

• Logic and formal verification
• Game theory and mechanism design
• Network optimization algorithms
• History of computer science
• Programming methodology
• Distributed systems

Scientific Contributions

His recent publications (2021–2025) cover loop termination proofs, historical analyses of computer science pioneers, coordination games on graphs, and foundational work in Hoare logic. The research combines theoretical rigor with applications in machine learning and distributed systems.

Awards and Grants

• NWO TOP grant (2013) for combining machine learning with game theory