September 2018 - present
October 2017 - July 2018
March 2015 - December 2018
PhD in Informatics
Laboratory for Foundations of Computer Science, University of Edinburgh,
supervised by: Prof. Stephen Gilmore.
Subject: Modelling spatial stochastic Collective Adaptive Systems: graphical and logical approaches
October 2012 - September 2014
MSc in Computer Science
Faculty of Physics, Astronomy and Applied Computer Science, Jagiellonian University in Krakow, Poland.
Thesis: Reconstruction of hit position of gamma quanta in scintillators based on sampling of signals in voltage and fraction domains.
(pdf version available at: http://koza.if.uj.edu.pl/staff/nzon)
October 2009 - July 2012
BSc in Computer Science
Faculty of Physics, Astronomy and Applied Computer Science,
Jagiellonian University in Kraków, Poland.