Micah Elliot Halter
I’m a computer science researcher at the Georgia Tech Research Institute based out of Atlanta, Georgia.
About Me
I have been interested in computer science since I was six years old, and have built up an unmatched passion for the field. I have extensive experience in software development and research from internships, projects, and competitions. I graduated from the Georgia Institute of Technology with a Bachelor of Science in Computer Science with a focus in system architecture and theory and a Masters of Science in Computer Science with a specialization in Machine learning. I am currently working as a research scientist at the Georgia Tech Research Institute.
Contact Details
Micah Elliot Halter
Atlanta, GA
(seven zero four) 490 9840
BEB8 056E 542A 33EB 8A4B 081F 723F 998E 98D9 3D50
4AC9 4692 18E3 1BCE 147F 1060 E51C 3EA3 BEB5 D4A9
Work Experience
Georgia Tech Research Institute
Research Scientist • Jul 2023 - Present
- Architected and implemented a cloud native system on AWS using Pulumi for sharing, cleaning, transforming, analyzing, and presenting epidemiological and genomics data
- Researched Applied Category Theory based scientific modeling in Julia for rigorously defining metamodeling tasks in a way to automate modeling of automation workflows.
University of Florida
Research Programmer • Jan 2023 - Jul 2023
- Researched Applied Category Theory based scientific modeling in Julia for rigorously defining metamodeling tasks in a way to automate scientific modeling procedures.
- Advised graduate students and researchers on software development practices to be able to develop code that is easier to share and maintain.
Balena
Backend Engineer • Feb 2021 - Dec 2022
- Led the development of rigorous security-related policies in pursuit of ISO 27001 and SOC 2 certifications
- Developed internal tooling in POSIX Shell, Python, and TypeScript for automated security testing
- Supported customers directly through support tickets and calls
- Developed backend API code in primarily TypeScript and JavaScript
Georgia Tech Research Institute
Research Scientist • Jun 2019 - Feb 2021
- Developed Applied Category Theory based scientific modeling ecosystem in Julia for representing scientific scientific theories, hypotheses, and experiments as runnable code
- Led the hardening of an HPC cluster with DISA STIGs for a secure environment using Ansible and Shell Scripting
- Developed AI models using PyTorch and TensorFlow to identify compromised machines on a network using NetFlow data
- Contributed and participated in white paper and proposal writing to bring in more funding for new and on-going projects
Undergraduate Research Assistant • Jan 2016 - May 2019
- Developed PostGIS-backed web application with Golang backend, PostgreSQL database, and APIs for facilitating collaboration among undersea sonar research community. Deployed using Docker and Nginx
- Developed machine learning models in Python for predicting crimes in Portland, OR using temporal and geographic features derived from crime statistics and GIS data
The Boeing Company
Software Development Intern • May 2016 - Aug 2017
- Developed a security auditing tool suite for Red Hat Enterprise Linux 7 to maintain hardened security on classified servers
- Developed a web application in C#, HTML, and JavaScript to view and analyze network traffic
- Developed several system administration scripts as needed by team members to complete tasks such as emailing system logs and automatic server backups
- Organized and led a software development team to create a minimum viable product of a Kanban board web application
- Pitched the Kanban board prototype to management to form a team to continue development of the application after I left
- Documented and executed an upgrade plan for the company’s identity management servers
- Developed an Outlook-integrated conference room mapping tool in C#
The Boeing Company
Software Development Intern • May 2016 - Aug 2016
- Organized and led a software development team of five in a three day coding sprint to create a minimum viable product of a Kanban board web application
- Pitched the Kanban board prototype to management to form a team to continue development of the application after I left
- Documented and executed an upgrade plan for the company’s identity management servers
- Developed an Outlook-integrated conference room mapping tool in C#
Projects
AstroNvim 
- Lead development for a powerful Neovim configuration ecosystem in Lua
- Maintain and write accurate documentation for users to be able to configure, extend, and contribute to the project
- Develop the open source community with >9k stars on GitHub and >5k active visitors per week on the documentation pages
Research
Funding
| Dates | Role | Sponsor | Title | Amount |
|---|---|---|---|---|
| 2023 - 2023 | Task Lead | DARPA | Automating Scientific Knowledge Extraction and Modeling | ≈$1M |
| 2020 - 2021 | Task Lead | DARPA | Computable Models - Generalized Algebraic Theories for Enhancing Multiphysics | ≈$1.35M |
| 2018 - 2021 | Task Lead | DARPA | Artifical Intelligence Exploration - Automating Scientific Knowledge Extraction | ≈$1M |
| 2019 - 2021 | Performer | Office of Naval Research | Extracting, Explaining, and Estimating Information in Sonar Data | ≈$400K |
| 2019 - 2021 | Performer | Office of Naval Research | MCM Situational Awarness | ≈$375K |
| 2018 - 2019 | Performer | Air Force | Network Risk Indication | ≈$135K |
| 2016 - 2019 | Performer | Office of Naval Research | Performance Estimation of Underwater MCM Operations | ≈$990K |
| 2015 - 2019 | Performer | Office of Naval Research | Automation for UxV-based Mine Countermeasures | $540K |
Peer Reviewed Journal Publications
-
An algebraic framework for structured epidemic
modelling,
Sophie Libkind, Andrew Baas, Micah
Halter, Evan Patterson James P. Fairbanks, Philosophical
Transactions of the Royal Society A (Volume 380, Issue 2233),
2022
Open Access
Peer Reviewed Conference Publications
-
Typed and Stratified Models with Slice
Categories,
Sophie Libkind, Andrew Baas, Micah
Halter, Evan Patterson James P. Fairbanks, Applied Category
Theory, 2022
PDF Video Slides -
Compositional Scientific Computing with Catlab and
SemanticModels,
Micah Halter, Evan Patterson, Andrew
Baas, James Fairbanks, Applied Category Theory, 2020
PDF Video -
SemanticModels.jl: A Julia Package for Scientific
Model Augmentation,
Micah Halter, Sreenath Raparti, Kun
Cao, Christine Herlihy, James Fairbanks, JuliaCon, 2019
PDF Slides Video -
A Compositional Framework for Scientific Model
Augmentation,
Micah Halter, Christine Herlihy,
James Fairbanks, Applied Category Theory, 2019
PDF Slides
Invited Talks
Posters
-
SemanticModels.jl: A Framework for Automatic
Composition of Scientific Models Across Domains, Micah
Halter, Kun Cao, James Fairbanks,
SIAM Conference on Parallel Processing for Scientific
Computing, Feb 2020
PDF -
Scientific Knowledge Extraction, Augmentation &
Analysis, Micah Halter, James Fairbanks, Eric
Davis, Clayton Morrison, Ryan Wright,
DARPA Demo Day, Sep 2019
Education
Georgia Institute of Technology
Master of Science in Computer Science • Jan 2020 - May 2022
- Specialization in Machine Learning, 4.0 GPA
Georgia Institute of Technology
Bachelor of Science in Computer Science • Aug 2015 - May 2019
- Concentration in System Architecture and Theory
- Dean’s List Fall 2015, Spring 2016, Fall 2016, Fall 2018, Spring 2019
Skills
- Full-Stack Development
- Deep Learning
- System Administration
- Database Design and Management
- High Performance Computing
- Machine Learning
- Data Science
- Functional Programming
- Category Theory
-
Languages
- Julia
- Python
- Go
- Typescript
- JavaScript
- Bash
- C/C++
- Java
- Haskell
- Scala
- SQL
- MySQL
- PostgreSQL
- LaTeX
- HTML
- CSS