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