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
Selected publications
-
Towards Automatic Design of Factorio Blueprints
Patterson, S., Espasa Arxer, J., Chang, M. S. & Hoffmann, R., 27 Aug 2023.Research output: Contribution to conference › Paper › peer-review
-
Open access
Computing normalisers of intransitive groups
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
Disjoint direct product decompositions of permutation groups
Chang, M. S. & Jefferson, C. A., Jan 2022, In: Journal of Symbolic Computation. 108, p. 1-16Research output: Contribution to journal › Article › peer-review
-
Open access
Primitive normalisers in quasipolynomial time
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