Centre for Software Reliability

Staff Profile

Professor Maciej Koutny

Director of Research. Professor of Computing Science

Background

I am a Professor of Computing Science in the School of Computing at Newcastle University. I am an Adjunct Professor at McMaster University, Canada. I received my MSc (1982) and PhD (1984) in Applied Mathematics from the Warsaw University of Technology, Poland. In 1985 I joined the then Computing Laboratory of the University of Newcastle upon Tyne to work as a Research Associate. In 1986 I became a Lecturer in Computing Science at Newcastle, and from 1994 to 2000 I held an established Readership at Newcastle University.

I chair of the Steering Committee of the International Conferences on Application and Theory of Petri Nets and Concurrency, and I am a member of IFIP Working Group 2.2 on Description of Programming Concepts. 

I serve as an editor-in-chief of the LNCS Transactions on Petri Nets and Other Models of Concurrency - ToPNoC. I am a member of the editorial boards of Natural Computing, Le Matematiche, and Scientific Annals of Computer Science. I am also a board member of EATCS-Springer book series: Monographs in Theoretical Computer Science and Texts in Theoretical Computer Science, as well as an advisory board member of Springer book series: Natural Computing. I am an appointed member of the Royal Society Newton Advanced Fellowships committee - Physical Sciences Panel.

My Programme Committee chairship includes: ICATPN'01, ACSD'08, CHINA'08, MeCBIC'10 and CONCUR'12. I was the scientific co-director of the 5th Advanced Course on Petri Nets held in 2010. 

In 2011 I held the Pascal Chair at Leiden University, The Netherlands. I have been a Visiting Professor at Xidian University, China; University of Evry, France; Nicolaus Copernicus University, Torun, Poland; and University Paris 12, France. 

Research

My 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, synthesis and verification of such systems. I have also investigated non-interleaving semantics of priority systems, and the relationship between temporal logic and process algebras. I have 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 and reaction systems.

 

Publications