Dr Damian Arellanes PhD, MSc, BEng, PgCAP, FHEA
International Lecturer (BJTU) in Computer ScienceResearch Overview
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
Career Details
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)
Web Links
PhD Supervision Interests
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).
Selected Publications
Compositional Separation of Control Flow and Data Flow
Arellanes, D. 23/12/2023
Preprint
Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces
Arellanes, D. 10/04/2024
Conference contribution/Paper
All Publications
VinFuture Prize (Event)
Membership of committee
Journal of Logical and Algebraic Methods in Programming (Journal)
Publication peer-review
IEEE Transactions on Services Computing (Journal)
Publication peer-review
IEEE Access (Journal)
Publication peer-review
Journal of Grid Computing (Journal)
Publication peer-review
IEEE/ACM International Conference on Utility and Cloud Computing (Event)
Membership of committee
Sensors (Journal)
Publication peer-review
International Conference on Formal Aspects of Component Software (Event)
Publication peer-review
International Conference on Software Engineering and Formal Methods (Event)
Publication peer-review
PRONABES BEng scholarship
Other distinction
Associate Fellow of Higher Education Academy (AFHEA)
Election to learned society
Complementary PhD scholarship
Other distinction
Complementary PhD scholarship
Other distinction
PhD Research Fellowship from the National Council of Science and Technology (CONACYT)
Other distinction
MSc Research Fellowship from the National Council of Science and Technology (CONACYT)
Other distinction
Nick Sanders Kickstarter Fund
Other distinction
Prize for the Carole Goble medal for outstanding doctoral paper in Computer Science
Prize (including medals and awards)
Second prize in the UMIP Next Big Thing competition
Prize (including medals and awards)
Best paper award at the International Conference on Internet of Things (ICIOT 2018)
Prize (including medals and awards)
Second prize for the best MSc thesis in Artificial Intelligence
Prize (including medals and awards)
Honourable Mention for the Most Outstanding Mexican Student in STEM in the UK
Prize (including medals and awards)
Fellow of Higher Education Academy (FHEA)
Election to learned society
Fellow of the Higher Education Academy (FHEA)
Election to learned society
- Lancaster Intelligent, Robotic and Autonomous Systems Centre
- LIRA - Fundamentals