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 prof. Thomas Ågotnes. I am associated with DISTECH research group and FORMGRID research project. Before I came to Norway I was a student at MISH, Warsaw University where I graduated in October 2009 with a degree in philosophy. My MA thesis “On Tableau systems for some modal logics” was supervised by dr Joanna Golińska-Pilarek.

Current research interest include: normative systems, strategic logics, deontic logic, model checking, proof theory, haskell.

I teach quite a lot. If you’re one of my students and want to get in touch with me, feel free to step by my office, but send me an email first. Also, get familiar with this comic.

Papers

• No big deal: introducing roles to reduce the size of ATL models (joint work with Sjur Dyrkolbotn, Erik Parmann and Truls Pedersen), accepted for presentation at LAMAS 2012, June 2012; available on arXiv;
• On Tableau systems for some modal logics, Master Thesis, Department of Philosophy, University of Warsaw, October 2009;

Projects

Some of the projects I am/I’ve been involved in:

• NorMC: A Norm Compliance Temporal Logic Model Checker – a model checker written in Haskell coded together with Truls Pedersen, that will be presented at M4M 2011 with an accompanying paper by me, Truls and Thomas Ågotnes.

Teaching

A list of courses that I teach or taught:

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

Contact

Please don’t hesitate to contact me anytime. My email address is piotrkazmierczak@me.com and I like getting email. They read it, so if you want to send me something secret, use my PGP key to encrypt the message.

You can follow me on twitter, too.

Office phone: (+47) 55 58 75 88
Office address: A728 (7th floor), Nygårdsgaten 112
Postal address: Bergen University College, Postboks 7030, 5020 Bergen, Norway

Personal

I maintain a blog called Sound and Complete, but despite the name there's seldom any logic-related posts there. Emacs and LaTeX geekery do however occur on a regular basis.

I play violin for Universitetets Symfoniorkester i Bergen, and I used to be a violin player for Unplugged Orchestra, and I did occasionally play some jazz music. Recently however I’m definitely more of a jazz listener than a performer.

I’m also an avid cyclist. If you’re living somewhere in the area of Bergen and like to ride on the road, drop me a line.

I travel a lot and when I do, I take photographs and post them online.