Dr Artur Meski

I am a software engineer and researcher with a PhD in formal methods.

For a list of my academic publications see Google Scholar or DBLP.

I am also passionate about photography. You can view some of my photos on my photography website.