Home > Research > Researchers > Damian Arellanes
View graph of relations

Dr Damian Arellanes

Lecturer (Tenure-track Professor) in Computer Science

Research overview

My core research focuses on the area of software engineering for distributed systems and, more specifically, on autonomic models of computation for the Internet of Things (IoT).


To date, I have discovered the notion of workflow spaces which are computational structures that underpin the foundations of algebraic composition. This notion led me to the development of an algebra of behavioural spaces that allows the compositional construction of (variable) service-oriented IoT systems.


Currently, I investigate the fundamental semantics of autonomicity in algebraic service-oriented models for tackling the scale and the complexity of IoT. I have a strong interest in the theory of self-* properties (e.g., self-composition, self-optimisation, self-reconfiguration, etc.) for realising autonomous IoT software systems. Like any other branch of theoretical Computer Science, this theory is grounded in philosophy and it is ultimately relevant to applied computing in diverse IoT domains (e.g., Smart Cities, End-User Programming and Connected Health).

PhD supervision

***There are PhD studentships available for UK/International students (covering fees and living expenses)*** I welcome PhD proposals in the areas of: (i) Program Synthesis, (ii) Autonomous/Self-Adaptive Software Systems, (iii) Models of Computation for the Internet of Things, and (v) Foundational Semantics for Service-Oriented Computing. Please email me your CV, academic transcripts and a research proposal (3-4 pages).

Career Details

Academic qualifications:

PhD in Computer Science, The University of Manchester, UK


Lecturer, School of Computing and Communications, Lancaster University (2020-Present)

Research Associate, Department of Computer Science, The University of Manchester (2019-2020)

Web Links


View all (9) »

View all (6) »