Who am I?

Name: Kristopher Welsh

Role: Senior Lecturer

Fact:

I enjoy playing strategy board games and often meet friends to build cities, run train companies, expand lunar colonies or grow the hottest chilli. Each week, I invite students to a local board game evening to play against lecturers.

What do I teach?

I teach a variety of programming units on the Software Engineering

degree covering desktop, web and mobile applications in a variety of

languages. In the past, I've taught a wide range of topics, ranging from

cryptography to ethics & law in computing.

Research Interests

My main research interest lies in the Requirements Engineering field,

more specifically in Requirements Modelling. I look at ways in which the

requirements for systems that reconfigure themselves at run-time can be

modelled. More recently, I've been exploring whether these models could

be used by the system itself, at run-time, to guide adaptation.

Publications

Featured Works

·K. Welsh, N. Bencomo, P. Sawyer, J. Whittle (2014). Self-Explanation in Adaptive Systems Based on Runtime Goal-Based Models.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).8780, pp.122-145.

Journal articles

·K. Welsh, N. Bencomo, P. Sawyer, J. Whittle (2014). Self-Explanation in Adaptive Systems Based on Runtime Goal-Based Models.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).8780, pp.122-145.

Conferences

·K. Welsh, N. Bencomo (2012). Run-time model evaluation for requirements model-driven self-adaptation. In:2012 20th IEEE International Requirements Engineering Conference (RE). 24/9/2012. pp.329-330.

·K. Welsh, P. Sawyer, N. Bencomo (2011). Towards requirements aware systems: Run-time resolution of design-time assumptions. In:2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). 6/11/2011. pp.560-563.

·N. Bencomo, E. Letier, A. Finkelstein, J. Whittle, K. Welsh (2011). Foreword: 2nd Workshop requirements@run.time. In:2011 2nd International Workshop on Requirements@Run.Time. 30/8/2011.

·K. Welsh, P. Sawyer, N. Bencomo (2011).Run-time resolution of uncertainty.In:2011 IEEE 19th International Requirements Engineering Conference. Trento, ITALY, 29/8/2011. pp.355-+.

·K. Welsh, N. Bencomo, P. Sawyer (2011). Tracing requirements for adaptive systems using claims. In:Proceeding of the 6th international workshop on Traceability in emerging forms of software engineering - TEFSE '11. 23/5/2011. pp.38-41.

·K. Welsh, P. Sawyer (2010). Understanding the Scope of Uncertainty in Dynamically Adaptive Systems. In:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). pp.2-16.

·K. Welsh, P. Sawyer (2009).Requirements Tracing to Support Change in Dynamically Adaptive Systems.In:REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY. Amsterdam, NETHERLANDS, 8/6/2009. pp.59-73.

·K. Welsh, P. Sawyer (2008).When to Adapt? Identification of Problem Domains for Adaptive Systems.In:REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY. Montpellier, FRANCE, 16/6/2008. pp.198-203.

Manchester Met full-time employee and will support a proportion of teaching at Manchester Metropolitan Joint Institute, Hubei University.