I am a PhD student (FNP MPD Programme) and research assistant at ICS PAS. Most of my research concerns parametric model checking, i.e., an approach where the investigated models and properties are allowed to contain missing fragments. The general goal is to effectively synthesise at least some of these parameters; see my Publications list for more on that.
I work under supervision of Prof. Wojciech Penczek.
I am always open to exciting opportunities from the industry and research community. It might sound cliché, but I do try to stay hungry, stay foolish, and love learning new things.
Please find here the package with my PhD thesis and accompanying software (SPATULA, PTA2SMT, and MCMAS-Parametric).
Michał Knapik, ICS PAS, ul. Jana Kazimierza 5, 01-248 Warszawa, Poland
email: Michal.Knapik@LARCH.ipipan.waw.pl (remove the tree part!)