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
Professor at
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:
Current
research topics and related papers (published after 2000)
Past research
topics and related papers (published before 2000)