Micah Halter
Micah Halter worked with the group from 2016 to 2019 at the Georgia Tech Research Institute, while completing a BS in Computer Science at Georgia Tech. He was the research programmer on the group’s early compositional modeling libraries.
The first of these was SemanticModels.jl, which studied whether a scientific model’s meaning could be extracted from its code and manipulated directly. That work led to AlgebraicPetri.jl, where he is the largest contributor. AlgebraicPetri is used to assemble an epidemiological model from parts: two reaction networks are composed, a model is stratified by age or region, and the dynamics are generated from the structure. It was used in the DARPA ASKEM program and in the lab’s epidemic modeling papers.
He is also a substantial contributor to Catlab.jl, and did much of the release engineering that keeps the AlgebraicJulia packages installable and tested.
He is now a Research Scientist at the Georgia Tech Research Institute.
Selected publications
- An algebraic framework for structured epidemic modelling – Philosophical Transactions of the Royal Society A, 2022. Sophie Libkind, Andrew Baas, Micah Halter, Evan Patterson, James P. Fairbanks. DOI: 10.1098/rsta.2021.0309
- Typed and stratified models with slice categories – Applied Category Theory (ACT 2022). Sophie Libkind, Andrew Baas, Micah Halter, Evan Patterson, James Fairbanks. Paper
- A Compositional Framework for Scientific Model Augmentation – Electronic Proceedings in Theoretical Computer Science, 2020 (ACT 2019). Micah Halter, Christine Herlihy, James Fairbanks. DOI: 10.4204/EPTCS.323.12
- SemanticModels.jl: A Julia Package for Scientific Model Augmentation – JuliaCon Proceedings, 2020. Micah Halter, Sreenath Raparti, Kun Cao, Christine Herlihy, James Fairbanks. DOI: 10.21105/jcon.00057
- Compositional Scientific Computing with Catlab and SemanticModels – 2020. Micah Halter, Evan Patterson, Andrew Baas, James Fairbanks. arXiv:2005.04831