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
-
Open access
Structural refactorings for exploring dependently typed programming
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
Towards automatic design of factorio blueprints
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
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
