Research output per year
Research output per year
Personal profile
Overview
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.
Fingerprint
Dive into the research topics where Jas Semrl is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Minimal signatures with undecidability of representability by binary relations
Hirsch, R., Jackson, M. & Semrl, J., 8 Apr 2025, (Accepted/In press) In: Semigroup Forum.Research output: Contribution to journal › Article › peer-review
-
Finite Representations in Relation Algebra
Semrl, J., 31 Jul 2023, University College London. 125 p.Research output: Thesis › Doctoral Thesis
Open Access -
Implication algebras and implication semigroups of binary relations
Lewis-Smith, A. & Šemrl, J., 8 Mar 2023, Relational and Algebraic Methods in Computer Science. RAMiCS 2023.. Glück, R., Santocanale, L. & Winter, M. (eds.). Springer Cham, p. 194-207 14 p. (Lecture Notes in Computer Science; vol. 13896).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile14 Downloads (Pure) -
Representable and diagonally representable weakening relation algebras
Jipsen, P. & Šemrl, J., 8 Mar 2023, Relational and Algebraic Methods in Computer Science. RAMiCS 2023.. Glück, R., Santocanale, L. & Winter, M. (eds.). Springer Cham, p. 140-157 18 p. (Lecture Notes in Computer Science; vol. 13896).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile11 Downloads (Pure) -
Demonic lattices and semilattices in relational semigroups with ordinary composition
Hirsch, R. & Šemrl, J., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 10 p. 9470509Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile4 Downloads (Pure)