Reasercher at Poznań University of Technology. Interested in stochastic process algebras.