Currently, he is the Deputy Head of the Department. Marcin Szpyrka received his Ph.D. and D.Sc. (habilitation) in Computer Science. He is the author of over 100 publications, from the domains of formal methods, software engineering and knowledge engineering. His fields of interest also include theory of concurrency and functional programming. Among other things, he is author of 3 books on Petri nets. Marcin Szpyrka is involved in several conferences and workshops, including CEE-SET, RSTW, FedCSIS, JRSS, CMS and IWBI. He has been lecturing computer science and mathematics courses in number of polish universities. He also took part in a number of curricula preparations, including graduate and postgraduate studies, for several universities. He is a member of IEEE and IRSS.