Krzysztof Apt

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

Email: K.R.Apt@cwi.nl
Telephone: +31 20 592 4057
Room: L214
Department(s): CWI Management, Networks and Optimization

Publications

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).
Apt, K.R, Kopczynski, E, & Wojtczak, D.K. (2017). On the Computational Complexity of Gossip Protocols. In Proceedings of the International Conference on Artificial Intelligence (pp. 765–771). doi:10.24963/ijcai.2017/106
Apt, K.R, de Keijzer, B, Rahn, M.M, Schäfer, G, & Simon, S.E. (2017). Coordination games on graphs. International Journal of Game Theory, 46(3), 851–877. doi:10.1007/s00182-016-0560-8
Apt, K.R, & Wojtczak, D.K. (2017). Common Knowledge in a Logic of Gossips. In Electronic Proceedings in Theoretical Computer Science (Vol. 251, pp. 10–27). doi:10.4204/EPTCS.251.2
Apt, K.R, & Wojtczak, D.K. (2017). Decidability of Fair Termination of Gossip Protocols. In IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana, May 7-12, 2017.
Apt, K.R, Simon, S.E, & Wojtczak, D.K. (2016). Coordination games on directed graphs. In Electronic Proceedings in Theoretical Computer Science. doi:10.4204/EPTCS.215.6

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)