Biography
I am currently a postdoc under Chris Brown, working on refactorings.
I was previously an education-focused staff at the School of Computer Science, where I was mainly teaching the theoretical aspects of computer science.
Prior to that, I work with Chris Jefferson and Colva Roney-Dougal (from the School of Maths and Stats) in computational group theory.
Teaching
In the academic year 2023/24, I teach:
- CS3050 Logic and Reasoning
- CS3052 Computational Complexity
Selected publications
-
Structural refactorings for exploring dependently typed programming
Barwell, A. D., Brown, C. M., Chang, M. S., Theocharis, C. & Thompson, S., 2024, (Accepted/In press) Structural refactorings for exploring dependently typed programming. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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