Consultant, MSc. Informatics Engineering, interested in HPC and Formal Methods, Photographer in my free time