Maciej Koutny is a Professor
of Computing Science in the
He is a member of the Steering Committee of the International Conferences on Application and Theory of Petri Nets and Other Models of Concurrency, and a member of the IFIP Working Group 2.2 on Description of Programming Concepts. He serves as an editor of the LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), and the Scientific Annals of Computer Science journal.
His Programme Committee chairmanship includes: ICATPN'01, ACSD'08 and CHINA'08.
He is the scientific co-director of the 5th Advanced Course on Petri Nets to be held in 2010 following the 4th Advanced Course on Petri Nets which took place in 2003.
He has been a Visiting
His research interests centre on the theory of distributed and concurrent systems, including both theoretical aspects of their semantics and application of formal techniques to the modelling and verification of such systems; in particular, model checking based on net unfoldings. He has also investigated non-interleaving semantics of priority systems, and the relationship between temporal logic and process algebras. Recently, he has been working on the development of a formal model combining Petri nets and process algebras as well as on Petri net based behavioural models of membrane systems. Further details on past and current research are: