Piotr Kaźmierczak PhD student at Høgskolen i Bergen


I am a PhD student in logic working at the Department of Computing, Mathematics and Physics, Bergen University College and studying at the Department of Information Science and Media Studies, University of Bergen.

My supervisor is Thomas Ågotnes. I am associated with LII research group and DISTECH research project. Before I came to Norway I studied philosophy, history of art, economics and computer science at the College of Inter-Faculty Individual Studies in the Humanities (MISH), University of Warsaw where I graduated in October 2009 with a degree in philosophy. My MA thesis “On Tableau systems for some modal logics” was supervised by Joanna Golińska-Pilarek. I also spent two semesters as an exchange student at KU Leuven.

Current research interest include: coordination and cooperation in multi-agent systems, strategic logics, cooperative game theory, functional programming; or in more general terms: cs.MA, cs.GT, cs.LO, cs.AI, math.LO.


The best way to contact me is by email (me at the domain of this site).
My postal address is:

Bergen University College
P.O. Box 7030
5020 Bergen

My office is A726, 7th floor, Faculty of Engineering building at Nygårdsgaten 112.


  • ‘A Logic of Network Flow’, work in progress;
  • ‘Multi-agency is coordination and (limited) communication’, work in progress;
  • Sjur Dyrkolbotn and Piotr Kaźmierczak: ‘Playing with Norms: Tractability of Normative Systems for Homogeneous Game Structures’, accepted at AAMAS-14;
  • Truls Pedersen, Sjur Dyrkolbotn and Piotr Kaźmierczak: ‘Big, but not unruly: Tractable norms for anonymous game structures’, accepted at COIN@PRIMA 2013;
  • Piotr Kaźmierczak: ‘Compliance Games’, extended abstract, presented at SOCREAL 2013;
  • Truls Pedersen, Sjur Dyrkolbotn, Piotr Kaźmierczak and Erik Parmann: ‘Concurrent Game Structures with Roles’, in Proceedings of the 1st International Workshop on Strategic Reasoning (SR 2013), Rome, Italy, March 2013, Electronic Proceedings in Theoretical Computer Science;
  • Piotr Kaźmierczak, Truls Pedersen and Thomas Ågotnes: ‘NorMC: a Norm Compliance Temporal Logic Model Checker’, in Proceedings of The Sixth Starting Artificial Intelligence Research Symposium (STAIRS 2012), Montpellier, France, August 2012;
  • ‘On Tableau systems for some modal logics’, Master Thesis, Department of Philosophy, University of Warsaw, October 2009;


  • Fall 2013 — teaching Grid Systems course (MOD351) together with Bjarte Kileng.
  • Spring 2013 — teaching Model-driven Software Engineering course (MOD350) together with Kent Simonsen, Yngve Lamo, Xiaoliang Wang and Gabriele Taentzer.
  • Fall 2012 — teaching Introduction to Discrete Mathematics and Computer Programming course (MAT101) together with Jon Eivind Vatne.
  • Spring 2012 — TA for the Modelling and verification of concurrent systems course (MOD259) together with Lars Kristensen, Yngve Lamo and Xiaoliang Wang.
  • Fall 2011 — TA for the Grid Systems course (MOD351) together with Hege Erdal and Bjarte Kileng.
  • Spring 2011 — teaching the Advanced Algorithms course (TOD133) together with Adrian Rutle.
  • Fall 2010 — TA for the Grid Systems course (MOD259) at Bergen University College; together with Hege Erdal and Håvard Helstrup;
  • Fall 2009 — TA for the introductory logic course for pedagogics students, Pedagogium College, Warsaw, Poland; together with Joanna Golińska-Pilarek.



I enjoy cycling, playing violin, listening to jazz music and taking photographs. I sometimes blog about all these things.