Skip to main content

Staff Profile

Dr Marta Koutny

Senior Lecturer

Background

Dr Marta Koutny publishes and is known in her scientific community under the name of Marta Pietkiewicz-Koutny.

Marta Pietkiewicz-Koutny received her MSc 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. Since 1987 she was always affiliated with the School of Computing Science, Newcastle University, where she worked first as a research associate and then as a demonstrator (1988-1997). In the period 1997-2000 she was a PhD student and after being awarded a PhD degree she worked as a researcher on the EU-funded DSoS (Dependable Systems of Systems) project (2000-2003). In the period 2003-2015 she held a lecturer position and in 2015 she was appointed a senior lecturer.

Dr Pietkiewicz-Koutny's research interests concentrate on theoretical aspects of concurrent computing systems. The main topic of her research is the synthesis of Petri nets from step transition systems. In the period 2011-2014 she was a co-investigator on the EPSRC project GAELS (Globally Asynchronous Elastic Logic Synthesis) responsible for the theoretical aspects of the project.

She was a Programme Committee co-chair of the 13th International Conference on Application of Concurrency to System Design (ACSD'2013), Barcelona, Spain, and served as a Programme Committee member of ACSD'2012, ACSD'2014, ACSD'2015, ACSD'2016, ACSD'2017, ACSD'2018 and ACSD'2019 international conferences. Also, she worked as a PC member of the "Application of Region Theory" workshops: ART'10, ART'11 and ART'13 and as a PC member of the "Algorithms & Theories for the Analysis of Event Data" workshops: ATAED'15, ATAED'16, ATAED'17, ATAED'18, ATAED'19, ATAED'20 and ATAED'21.

She was a co-editor of a Special Issue on Application of Concurrency to System Design of the ACM Transactions on Embedded Computing Systems (TECS). It was published (online) in July 2014, in Vol.13, No. 4s, Articles 140-144.

Research

Dr Marta Koutny publishes and is known in her scientific community under the name of Marta Pietkiewicz-Koutny.

Dr Pietkiewicz-Koutny's research interests concentrate on theoretical aspects of concurrent computing systems. The main topic of her research is the synthesis of Petri nets from step transition systems. In the period 2011-2014 she was a co-investigator on the EPSRC project GAELS (Globally Asynchronous Elastic Logic Synthesis) responsible for the theoretical aspects of the project.

She was a Programme Committee co-chair of the 13th International Conference on Application of Concurrency to System Design (ACSD'2013), Barcelona, Spain, and served as a Programme Committee member of ACSD'2012, ACSD'2014, ACSD'2015, ACSD'2016, ACSD'2017, ACSD'2018 and ACSD'2019 international conferences. Also, she worked as a PC member of the "Application of Region Theory" workshops: ART'10, ART'11 and ART'13 and as a PC member of the "Algorithms & Theories for the Analysis of Event Data" workshops: ATAED'15, ATAED'16, ATAED'17, ATAED'18, ATAED'19, ATAED'20 and ATAED'21. 

She was a co-editor of a Special Issue on Application of Concurrency to System Design of the ACM Transactions on Embedded Computing Systems (TECS). It was published (online) in July 2014, in Vol.13, No. 4s, Articles 140-144.

Publications