My core research is focused on the theoretical foundations of self-organising software models which allow the emergence of complex programs from simple rules. The goal of this research is to tackle the scale and the complexity of software construction by exploring the notion and the limits of emergent computation for self-programming. Like any other branch of theoretical Computer Science, self-organising software models are grounded in analytic philosophy and they are ultimately relevant to applied computing in diverse domains (e.g., Cyber-Physical Systems).

I welcome PhD proposals in the areas of: (i) Self-Organising Software Models, (ii) Theory of Emergent Computation, (iii) Program Synthesis and/or (iv) Foundational Semantics for Self-Composition/Self-Programming. If you are interested, please email me your CV, academic transcripts and a short 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