Biography
I am a part-time postdoctoral researcher and a part-time education-focused lecturer at the School of Computer Science. I currently work with Ruth Hoffmann on applications of permutation group theory to combinatorial search, particularly for symmetry breaking.
Prior to this, I held a number of education-focused roles and postdoctoral roles here in the school. My PhD was in computational group theory.
Teaching
In the academic year 2024/25, I am teaching:
- CS3302 Data Encoding
- CS3052 Computational Complexity
PhD supervision
- Joseph Loughney
Selected publications
-
Open access
Akgün, Ö., Chang, M. S., Gent, I. P. & Jefferson, C., 14 Mar 2026, Proceedings of the 40th annual AAAI conference on artificial intelligence. Koenig, S., Jenkins, C. & Taylor, M. (eds.). Washington, DC: AAAI Press, p. 14132-14139 8 p. (Proceedings of the AAAI conference on artificial intelligence; vol. 40, no. 17).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Akgun, O., Chang, M. S., Gent, I. P. & Jefferson, C. A., 2025, Integration of constraint programming, artificial intelligence, and operations research: 22nd international conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, proceedings, Part I. Tack, G. (ed.). Cham: Springer, p. 152-168 (Lecture notes in computer science; vol. 15762).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Barwell, A. D., Brown, C. M., Chang, M. S., Theocharis, C. & Thompson, S., 10 Jan 2025, Trends in functional programming: 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, revised selected papers. Hemann, J. & Chang, S. (eds.). Cham: Springer, p. 1-21 (Lecture notes in computer science; vol. 14843).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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
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
Chang, M. S., Jefferson, C. A. & Roney-Dougal, C. M., 1 Sept 2022, In: Journal of Algebra. 605, p. 429-458 30 p.
Research output: Contribution to journal › Article › peer-review
-
Open access
Chang, M. S. & Jefferson, C. A., Jan 2022, In: Journal of Symbolic Computation. 108, p. 1-16
Research output: Contribution to journal › Article › peer-review
-
Open access
Chang, M. S. & Roney-Dougal, C. M., 26 Oct 2021, In: Archiv der Mathematik. First Online, 7 p., ADMA-D-21-00337.
Research output: Contribution to journal › Article › peer-review