Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Faster symmetry breaking constraints for abstract structures
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 AccessFile -
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 AccessFile -
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 AccessFile -
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
Datasets
-
Computing normalisers of highly intransitive groups (thesis data)
Chang, M. S. (Creator), Jefferson, C. A. (Supervisor) & Roney-Dougal, C. M. (Supervisor), University of St Andrews, 21 Apr 2021
DOI: 10.17630/710dfd8d-356b-4080-b2ad-c6791b7c21fe
Dataset: Thesis dataset
File -
Structural refactorings for exploring dependently typed programming (code)
Barwell, A. D. (Creator), Brown, C. M. (Creator), Chang, M. S. (Creator) & Theocharis, K. (Creator), GitHub, 2025
https://github.com/kontheocharis/fluid
Dataset: Software
Activities
-
Doors Open @ Computer Science 2025
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Ardati, A. A. (Participant), Dearle, A. (Participant), Connor, R. (Participant), Claydon, B. (Participant), Miller, A. (Participant), Sturdee, M. (Participant), Miguel, A. R. (Participant), Manataki, A. (Participant), Cassidy, C. A. (Participant), Pisani, S. (Participant), Brown, C. M. (Participant), Barwell, A. D. (Participant), Myles, C. G. G. (Participant), Harris-Birtill, D. C. C. (Participant), Morrison, D. (Participant), Balasubramaniam, D. (Participant), Dang, N. T. T. (Participant), Brady, E. C. (Participant), Terzic, K. (Participant), Kadi, H. A. (Participant), Oliver, I. A. (Participant), Kennedy, S. E. (Participant), Espasa Arxer, J. (Participant), Ye, J. (Participant), Clarke, L. (Participant), Jacques, J. T. (Participant), Young, M. (Participant), Chang, M. S. (Participant), Akgun, O. (Participant), Gent, I. P. (Participant), Jefferson, C. A. (Participant), Konovalov, O. (Participant), Loughney, J. P. (Participant), Letham, R. (Participant), Metcalfe, T. (Participant), Henderson, T. (Participant), Zhang, J. (Participant), Nguyen, R. (Participant), Halite, A. (Participant), Leal Teixeira Gondim Simao, A. (Participant), Ozkaya, A. (Participant), Powell, V. (Participant), Watson, H. (Participant), Nickson, M. (Participant), Sullivan, J. (Participant) & Michalovits, S. (Participant)
1 May 2025Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event
-
GAP Days 2024
Hoffmann, R. (Organiser), Chang, M. S. (Organiser) & Young, M. (Organiser)
26 Aug 2024 → 30 Aug 2024Activity: Participating in or organising an event types › Participation in or organising a workshop, seminar, course
-
Doors Open @ Computer Science 2024
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Halite, A. (Participant), Mann, A. (Participant), Dearle, A. (Participant), Banks, A. (Participant), Lin, A. (Participant), Boyce, A. (Participant), Manataki, A. (Participant), Singh, A. (Participant), Huang, A. (Participant), Eccles, B. J. (Participant), Claydon, B. (Participant), Varghese, B. (Participant), Clues, C. (Participant), Naughton, C. (Participant), Brown, C. M. (Participant), Myles, C. G. G. (Participant), Kennedy, D. (Participant), Morrison, D. (Participant), Saikumar, D. (Participant), Balasubramaniam, D. (Participant), Brady, E. C. (Participant), Jenkins, E. (Participant), Spillane, E. (Participant), Leitner, F. (Participant), Haywood, G. T. (Participant), Rasheed, H. (Participant), Waller, J. (Participant), Herbert, J. (Participant), Espasa Arxer, J. (Participant), Williamson, J. (Participant), Loughney, J. (Participant), Zhang, J. (Participant), Wang, R. (Participant), Garriock, K. (Participant), Davies, K. (Participant), Clarke, L. (Participant), Laverty, L. (Participant), Andrei, M. (Participant), Young, M. (Participant), Chang, M. S. (Participant), Martin, N. (Participant), Dewally, N. (Participant), Akgun, O. (Participant), Ng, P. (Participant), Connor, R. (Participant), Letham, R. (Participant), Kirkpatrick, R. (Participant), McQuistin, S. (Participant), Yuan, V. (Participant), Tronciu, V. (Participant), Law, Y. N. (Participant) & Zhang, Y. (Participant)
11 Apr 2024Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event
Thesis
-
Computing normalisers of highly intransitive groups
Chang, M. S. (Author), Jefferson, C. A. (Supervisor) & Roney-Dougal, C. M. (Supervisor), 30 Jun 2021Student thesis: Doctoral Thesis (PhD)