Maciej Koutny

	Position:	Professor
	E-mail:	maciej.koutny ncl.ac.uk
	Telephone:
	Fax:
	Mail:	School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU United Kingdom
	Office:	Room 1017 , Claremont Tower
	Disclaimer:	Personal webpages

Brief Biography

Maciej Koutny obtained his MSc (1982) and PhD (1984) from the Warsaw University of Technology. In 1985 he joined the then Computing Laboratory of the University of Newcastle upon Tyne to work as a Research Associate. In 1986 he became a Lecturer in Computing Science at Newcastle, and in 1994 was promoted to an established Readership at Newcastle. In 2000 he became a Professor of Computing Science.

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. Recently, he has been working on the development of
a formal model combining Petri nets and process algebras.

He has also investigated non-interleaving semantics of priority systems, and the relationship between temporal logic and process algebras. He is a member of the Steering Committee of the International Conference on Applications and Theory of Petri nets (http://www.daimi.au.dk/PetriNets/).

Publications

A list of publications by Maciej Koutny is available.

Research Groups

Maciej is a member of the [ Theoretical Computing Science ] research group(s)

Related Organisations