Piotr Kaźmierczak

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

My supervisor is Thomas Ågotnes. I am associated with LII research group, FORMGRID and DISTECH research projects. 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.

Papers

  • A Logic of Network Flow, work in progress;
  • Multi-agency is coordination and (limited) communication (joint work with Thomas Ågotnes and Wojtek Jamroga), work in progress;
  • 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;

Teaching

  • 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.

Activities