Welcome

My name is Piotr Kaźmierczak and I am a PhD student in logic working and studying at the Department of Computer Engineering, 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, 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.

Contact

Please don’t hesitate to contact me anytime. My email address is p.h.kazmierczak@gmail.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. The fingerprint for my key is: 5919 0174 D50E FAE2 B8FC 74EA 228B AAA2 1EA2 02B3.

I can also be reached online via skype and jabber networks. 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 used to be a violin player for Unplugged Orchestra (1st violin), 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.

Latest Blog Posts

The rest, you can find in the archives.