Dr Mun See Chang

Lecturer

Researcher profile

Email
msc2@st-andrews.ac.uk

 

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

    Breaking the symmetries of indistinguishable objects

    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

    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

    Symmetry breaking in the subgraph isomorphism problem

    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

    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-16

    Research 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

 

See more publications