Matej Hajnal, a PhD student from Masaryk University will be a visiting researcher for several months. Matej works on model selection and parameter synthesis. Welcome, Matej!