Krzysztof Apt

- Full Name
- Prof.dr. K.R. Apt
- Function(s)
- Professor - Universiteit van Amsterdam, CWI-Fellow - Geen werkgever
- K.R.Apt@cwi.nl
- Telephone
- +31 20 592 4057
- Room
- M232a
- Department(s)
- CWI Management, Networks and Optimization
Publications
-
Apt, K.R, Simon, S.E, & Wojtczak, D.K. (2021). Coordination games on weighted directed graphs. Mathematics of Operations Research, 1–31. doi:10.1287/moor.2021.1159
-
Apt, K.R, & Olderog, E.R. (2021). Assessing the success and impact of Hoare’s Logic. In Theories of Programming: The Life and Works of Tony Hoare (pp. 41–76). doi:10.1145/3477355.3477359
-
Apt, K.R, & Simon, S.E. (2021). A tutorial for computer scientists on finite extensive games with perfect information. Bulletin of EATCS, 135.
-
Apt, K.R, & Simon, S.E. (2021). Well-founded extensive games with perfect information. In Proceedings of the Conference of Theoretical Aspects of Rationality and Knowledge (pp. 7–21). doi:10.4204/EPTCS.335.2
-
Apt, K.R, & Hoare, T. (2021). Edsger W. Dijkstra: a Commemoration. Computing Research Repository.
-
Apt, K.R, & Olderog, E.R. (2019). Fifty years of Hoare’s logic. Formal Aspects of Computing, 31(6), 751–807. doi:10.1007/s00165-019-00501-3
-
Apt, K.R, & Wojtczak, D.K. (2019). Open problems in a logic of gossips. In Electronic Proceedings in Theoretical Computer Science, EPTCS (pp. 1–18). doi:10.4204/EPTCS.297.1
-
Apt, K.R, & Wojtczak, D.K. (2018). Verification of distributed epistemic gossip protocols. Journal of Artificial Intelligence Research, 62, 101–132.
-
Apt, K.R, & Shoja Talatappeh, E. (2018). Self-stabilization through the lens of game theory. In F.S de Boer, M.M Bonsangue, & J.J.M.M Rutten (Eds.), It's All About Coordination. Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (pp. 21–37). doi:10.1007/978-3-319-90089-6_2
-
Apt, K.R, Grossi, D, & van der Hoek, W. (2018). When Are Two Gossips the Same?. In Proceedings of LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 36–55).
Professional activities
- Board Member: Member board of directors Theoretical Aspects of Rationality and Knowledge - [TARK]
- Board Member: Member advisory board Computing Research Repository - [CoRR]
- Member: Academia Europaea
- Editor: Member editorial board Journal: Journal of Logic and Computation
- Editor: Journal: Journal of Logic and Computation
- Editor: Series: Electronic Proceedings in Theoretical Computer Science - [EPTCS]
- Member: Academia Europaea: Academia Europaea - 26 April
- Member: CWI Fellow - 1 April
Grants
- NWO TOP grant (Compartiment 1) Combining Machine Learning and Game-theoretic Approaches for Cluster Analysis (2013)