Marta Pietkiewicz-Koutny
received her M.Sc. in Applied Mathematics from the Warsaw University
of Technology in 1982. In 1984 she joined the Department of Operational
Research, Institute of Econometrics in the Warsaw University
of Economics where she worked as a junior lecturer until 1986.
In 1987 she joined the Computing Laboratory of the University of Newcastle
upon Tyne first as a Research Associate and then
as a Demonstrator (1988-1997). In the period 1997-2000 she was a Ph.D. student
at the Department of Computing Science of the University of Newcastle
upon Tyne, and in December 2000 she was awarded
her Ph.D. degree. In the period 2000-2003 she was a Research Associate on the
EU-funded DSoS (Dependable Systems of Systems)
project, and in 2003 she was appointed a lecturer in the School of Computing Science.
Her research interests centre on the modelling and validation of concurrent and
distributed systems. She served as a PC member for the Workshop on Teaching Concurrency
in Siedlce
(2007).
Following the PhD work, her
main topic of her research is the synthesis of various classes of Petri nets
from transition systems. Further research related details are:
List of publications
Research interests