Jas Semrl's Home Page
Dr Jas Semrl, FHEA (he/him)
Lecturer, Division of Computing
UWS (London Campus)
jas.semrl@uws.ac.uk
I am a lecturer at the Division of Computer Science, University of the West of Scotland, London campus. Currently, I am also a member of the teaching team at the Scotland Academy in Wuxi, China, a partnership between Wuxi Taihu University and University of the West of Scotland.
My main interests include Relation Algebra and its Applications, Formal Logic, Graph Theory and Computational Complexity. I got my PhD from the Department of Computer Science, University College London in 2023 as a member of the PPLV Research Group and the Foundational AI CDT. Previously, I had received my MEng in Computer Science from UCL in 2019.
Some of the problems that I am currently interested in are listed below. The list is by no means exhaustive.
- Which relation algebra fragments have their representation classes finitely axiomatisable;
- Which relation algebra fragments have the finite representation property for finite structures;
- The representation classes of which relation algebra fragments form varieties;
- Decidability of representability/finite representability/equational theories/... for fragments of relation algebra;
- Demonic operators in relation algebra;
- Weakening relation algebra;
- Applications of relation algebra (eg. in formal verification and AI).
I am currently able to only supervise new self-funded PhD students (projects to be added to the UWS catalogue soon) working on any of the above or closely related topics.
My Work
2025 Minimal signatures with undecidability of representability by binary relations.
Hirsch, Robin and Marcel Jackson and Jas Semrl. "Minimal signatures with undecidability of representability by binary relations." Accepted for publication; Semigroup Forum. (Expected 2025)
Preprint2023 Finite Representations in Relation Algebra
Semrl, Jas. "Finite Representations in Relation Algebra." Phd Thesis. (2023)
Open Access2023 Representable and diagonally representable weakening relation algebras
Jipsen, Peter and Jas Semrl. "Representable and diagonally representable weakening relation algebras." In proceedings of RAMiCS 2023.
Published Version Preprint2023 Implication Algebras and Implication Semigroups of Binary Relations
Lewis-Smith, Andrew and Jas Semrl. "Implication Algebras and Implication Semigroups of Binary Relations." In proceedings of RAMiCS 2023.
Published Version Preprint2021 Domain Range Semigroups and Finite Representaions
Semrl, Jas. "Domain Range Semigroups and Finite Representaions." In proceedings of RAMiCS 2021.
Published Version Preprint2021 Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition
Hirsch, Robin, and Jas Semrl. "Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition." In proceedings of LiCS 2021.
Published Version Preprint2021 Finite Representability of Semigroups with Demonic Refinement
Hirsch, Robin, and Jas Semrl. "Finite representability of semigroups with demonic refinement." Algebra universalis 82.2 (2021): 1-14.
Open Access2019 On Representability of Ordered Convoluted Monoids
Semrl, Jas. "On Representability of Ordered Convoluted Monoids." Masters Theris (2019).
PDF2018 Exploring Small Expander Graphs
Afshar, Maya and Alexis Enston and George Pirlea and Jas Semrl. "Exploring Small Expander Graphs." Manuscript (2018).
PDF2017 Churn Prediction Model for Effective Gym Customer Retention
Semrl, Jas, and Alexandru Matei. "Churn prediction model for effective gym customer retention." In 2017 International Conference on Behavioral, Economic, Socio-cultural Computing (BESC), pp. 1-3. IEEE, 2017.
Published Version