Hello,

I’m Dr Artur Meski, a software engineer and researcher with a PhD in formal methods.

You can find a list of my academic publications on Google Scholar and DBLP.

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