Maciej Koutny

Maciej Koutny is a Professor of Computing Science in the School of Computing at Newcastle University. His research focuses on the theory of distributed and concurrent systems, especially the semantics of such systems and the use of formal techniques for their modelling, synthesis, and verification. He is also an Adjunct Professor at McMaster University in Canada.