Micah Elliot Halter
I’m a computer science researcher at University of Florida based out of Englewood, New Jersey.
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 programmer at the University of Florida.
Contact Details
Micah Elliot Halter
Englewood, NJ
+1 704 490 9840
BEB8 056E 542A 33EB 8A4B 081F 723F 998E 98D9 3D50
4AC9 4692 18E3 1BCE 147F 1060 E51C 3EA3 BEB5 D4A9
Work Experience
University of Florida
Research Programmer • Jan 2023 - Present
- 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