Maciej Koutny

简介

I am a Professor of Computing Science in the School of Computing at Newcastle University. I am also an Adjunct Professor at McMaster University, Canada. 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.

教育经历

• MSc Applied Mathematics, Warsaw University of Technology, 1982
• PhD Applied Mathematics, Warsaw University of Technology, 1984

代表成果

• Model checking for distributed reaction systems with temporal-epistemic properties
• Encoding Reaction Systems in Petri Nets
• Reaction Mining for Reaction Systems
• GeoDeploy: Geo-distributed Application Deployment using Benchmarking
• Synthesising Elementary Net Systems with Localities
• Investigating Reversibility of Steps in Petri Nets
• Relational structures for concurrent behaviours
• Quantitative Analysis of Opacity in Cloud Computing Systems
• Asynchrony and Persistence in Reaction Systems
• Reaction Systems and Enabling Equivalence