My research is in the broad area of Theoretical Computer Science, with specific focus on theoretical foundations of algebraic composition for models of high-level computation. For further information, see https://damianarellanes.com

I welcome PhD proposals in the areas of: (i) Theory of Emergent/Self-Organising Computation, (ii) Algebraic Semantics for Models of High-Level Computation and/or (iii) Automatic Software Composition. 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 (2020)

Postgraduate Certificate in Academic Practice, Lancaster University, UK (2023)

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