Damian Arellanes - Research Portal | Lancaster University

My research is in the broad area of Theoretical Computer Science, with a specific focus on the theoretical foundations of algebraic compositionality. For further information, see https://damianarellanes.com

PhD supervision

I welcome PhD proposals in the areas of: (i) Theory of Emergent/Self-Organising Computation, (ii) Program Synthesis, (iii) Algebraic Composition and/or (iv) Foundational Semantics for Automatic Composition. If you are interested, please email me your CV, academic transcripts and a short research proposal (2-3 pages).

Career Details

Academic qualifications:

PhD in Computer Science, The University of Manchester, UK (2020)

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

https://damianarellanes.com

Show more...Show less

Publications & Outputs

E-pub ahead of print
Decentralized Data Flows for the Functional Scalability of Service-Oriented IoT Systems
Arellanes, D., Lau, K-K. & Sakellariou, R., 25/03/2022, (E-pub ahead of print) In: The Computer Journal.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
IoT Cooking Workflows for End Users: A Comparison Between Behaviour Trees and the DX-MAN Model
Ventirozos, F., Batista-Navarro, R. T., Clinch, S. & Arellanes, D., 20/12/2021, 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion. IEEE, p. 341-350 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Self-Organizing Software Models for the Internet of Things: Complex Software Structures that Emerge without a Central Controller
Arellanes, D., 31/07/2021, In: IEEE Systems, Man, and Cybernetics Magazine. 7, 3, p. 4-9 6 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review

View all (12) »

Activities

Journal of Logical and Algebraic Methods in Programming (Journal)
Activity: Publication peer-review and editorial work types › Publication peer-review
IEEE Transactions on Services Computing (Journal)
Activity: Publication peer-review and editorial work types › Publication peer-review
IEEE/ACM International Conference on Utility and Cloud Computing (Event)
Activity: Membership types › Membership of committee

View all (8) »

Research

CVs

Affiliations

Dr Damian Arellanes

Research overview

PhD supervision

Career Details

Web Links

Publications & Outputs

Decentralized Data Flows for the Functional Scalability of Service-Oriented IoT Systems

IoT Cooking Workflows for End Users: A Comparison Between Behaviour Trees and the DX-MAN Model

Self-Organizing Software Models for the Internet of Things: Complex Software Structures that Emerge without a Central Controller

Activities

Journal of Logical and Algebraic Methods in Programming (Journal)

IEEE Transactions on Services Computing (Journal)

IEEE/ACM International Conference on Utility and Cloud Computing (Event)

Quick Links

Connect With Us

Faculties & Depts

Contact Us