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

Dr Damian Arellanes

Lecturer in Computer Science

Research overview

My core research focuses on the area of software models for distributed systems and, more specifically, on autonomic models of computation for Cyber-Physical Systems (CPS).

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

PhD supervision

I welcome PhD proposals in the areas of: (i) Program Synthesis, (ii) Autonomous/Self-Adaptive Software Systems, (iii) Models of Computation for Cyber-Physical Systems, and (v) Foundational Semantics for Service-Oriented Computing. Please email me your CV, academic transcripts and a research proposal (2-3 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) »