Biography
I am a Lecturer at the University of ºÚÁϳԹÏÍø. My research interests lie in computational combinatorics, graph theory, permutation classes, computational group theory and formal verification.
During my PhD I've investigated the regular language of permutation pattern classes and identified the encodings of sets of permutations with certain properties.
While a researcher I worked on verifying UAV scenarios, memory consistency models, and cache coherence protocols using formal methods, such as model checking. In addition, I have used constraint programming to generate litmus tests for MCMs and CCPs.
More recently, and in line with my main research interests I have been working on improving combinatorial search for graph problems.
Teaching
I teach modules which involve theoretical computer science:
- CS5015 -- Symbolic Artificial Intelligence
- CS1003 -- Programming with Data
Past Teaching:
I used to oversee the Graduate Apprenticeship degree (BSc Data Science) and taught:
- CS2001 -- Foundations of Computation
- CS3052 -- Computational Complexity
- IS5104 -- Information Security Management
Research areas
My research interests lie in computational combinatorics and group theory, graph theory, permutation classes and formal verification.
In particular, I am interested in engineering efficient algorithms (such as combinatorial search) for graph problems (e.g. subgraph isomorphism problem), group problems (e.g. finding stabiliser chains) and permutation classes (e.g. language of simple permutations).
PhD supervision
- JosephÌýLoughney
Selected publications
-
Open access
Hoffmann, R., Akgun, O. & Jefferson, C., 22 Jan 2025, In: Discrete Mathematics & Theoretical Computer Science. 26, 1, 25 p.
Research output: Contribution to journal › Article › peer-review
-
Open access
Loughney, J., Hoffmann, R., Chang, M. S. & McCreesh, C., 10 Aug 2025, p. 1-10. 10 p.
Research output: Contribution to conference › Paper › peer-review
-
Open access
Lofaro, T., Hoffmann, R., Sturdee, M., Jefferson, C. & Lynch, A., 10 Aug 2025, p. 1-2. 2 p.
Research output: Contribution to conference › Abstract
-
Open access
Loughney, J. P. & Hoffmann, R., 2 Sept 2024, p. 1-9. 9 p.
Research output: Contribution to conference › Paper › peer-review
-
Balogh, C., Hoffmann, R. & Espasa Arxer, J., 2 Sept 2024, p. 1-9. 9 p.
Research output: Contribution to conference › Paper › peer-review
-
Open access
Patterson, S., Espasa Arxer, J., Chang, M. S. & Hoffmann, R., 27 Aug 2023. 16 p.
Research output: Contribution to conference › Paper › peer-review
-
Open access
Hoffmann, R., Zhu, X., Akgun, O. & Nacenta, M., 23 Jul 2022, 28th International conference on principles and practice of constraint programming (CP 2022). Solnon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18 p. 28. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Espasa Arxer, J., Gent, I. P., Hoffmann, R., Jefferson, C., McIlree, M. J. & Lynch, A. M., 2 Jul 2021, Proceedings of the SICSA eXplainable Artificial Intelligence Workshop 2021. Martin, K., Wiratunga, N. & Wijekoon, A. (eds.). p. 56-63 8 p. (CEUR Workshop Proceedings; vol. 2894).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Espasa Arxer, J., Gent, I. P., Hoffmann, R., Jefferson, C. & Lynch, A. M., 30 Apr 2021.
Research output: Working paper › Preprint
-
Open access
Fraser, D., Giaquinta, R., Hoffmann, R., Ireland, M., Miller, A. & Norman, G., Jul 2020, In: Formal Aspects of Computing. 32, 2-3, p. 157–186 30 p.
Research output: Contribution to journal › Article › peer-review
Ìý