I’m a computer science researcher at University of Florida based out of Englewood, New Jersey.

About Me


Picture of Micah Elliot Halter

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.

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 Project logo

  • 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

Open Source Involvement


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