Krzysztof Apt

Full Name: Prof.dr. K.R. Apt
Function(s): Professor - Universiteit van Amsterdam, CWI-Fellow - Geen werkgever

Email: 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)