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).

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).

Academic qualifications:

PhD in Computer Science, The University of Manchester, UK

Employment:

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

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

https://damianarellanes.com