I’m a computer science researcher at the
Georgia Tech Research Institute 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 scientist at the Georgia Tech Research
Institute.
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
-
Compositional Epidemiological Modeling Using
Structured Cospans, Micah Halter and Evan
Patterson,
University of California Riverside Categories
Seminar, Nov 2020
Slides Video
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