I received my Ph.D. degree in computer science from the Belarusian State University of Informatics and Radioelectronics, Minsk, Belarus, in 1997. From 2000 till 2018 I've been an Assistant Professor and later a professor in the University of Zielona Góra, Poland. In 2009 I received habilitation (Dr.-Ing. habil. degree) in computer science from Technische Universität Ilmenau, Germany. Since 2018 I'm a professor of the AGH University of Science and Technology (Department of Applied Computer Science), Poland. I am an author of one book, an editor of two books and an author of over 100 publications in conference proceedings and journals. My research interests include formal methods in modelling, analysis and verification of parallel discrete systems.