Home

My industry interests include (1) formal methods in software, infrastructure, and systems architecture; (2) machine learning; and (3) database systems. I am particularily fascinated by the intersection between (1) and (3). My principal aim in this domain is to responsibly modernize complex systems and accelerate the maturation of critical systems.

My academic interests include (but are not limited to) category theory, type theory, topos theory, and algebraic geometry.

For my repository, see GitHub.

Slides

M.M., Formal Structures in Systems Architectures, presented at JMM 2026 Applied Category Theory Special Session.

Paper

[1] M.M., Samantha Jarvis, Nelson Niu, Angeline Aguinaldo, Amanda Hicks, and Ian Levitt. Formal Structures in Systems Ontology towards Air Traffic Management Architectures. NASA Technical Memorandum, 2025. Report no. NASA/TM-20250010771. https://ntrs.nasa.gov/citations/20250010771