CV

Education

• Ph.D in Mathematics, University of Utah, 2027 (expected)
• M.S. in Computer Science, Michigan State University, 2021
• B.S. in Computer Science and Mathematics, Michigan State University, 2019

Publications

• M. A. Langford, K. H. Chan, J. E. Fleck, P. K. McKinley and B. H. C. Cheng, “MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems,” 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), Fukuoka, Japan, 2021, pp. 182-193, doi: 10.1109/MODELS50736.2021.00027.

Teaching

• Engineering Calculus II, University of Utah, Spring 2026
• Engineering Calculus II, University of Utah, Spring 2025
• Differential Equations and Linear Algebra, University of Utah, Fall 2024
• Calculus III, University of Utah, Spring 2024
• Calculus III, University of Utah, Summer 2023
• Differential Equations and Linear Algebra, University of Utah, Spring 2023
• Engineering Calculus I, University of Utah, Fall 2022
• Online Calculus III, University of Utah, Summer 2022
• TA for Engineering Calculus II, University of Utah, Spring 2022
• TA for Engineering Calculus I, University of Utah, Fall 2021
• TA for Computer Networks, Michigan State University, Spring 2021
• TA for Operating Systems, Michigan State University, Spring 2020

Talks

• Rationality and the Method of Maximal Singularities, BAGELS, Spring 2025
• Morita Theorems, Topics in Homological Algebra, Spring 2025
• Castelnuovo-Mumford Regularity, BAGELS, Fall 2023

Service and Leadership

• BAGELS Co-Chair, Fall 2025 - present
• Webmaster for Graduate Student Advisory Colloquium, Fall 2022 - Spring 2025

Skills

• Operating Systems: Unix, Linux, Microsoft Windows
• Programming Languages: C, C++, Java, Python, LaTeX