MICAH(7) | Micah Elliot Halter manual

Micah Elliot Halter

name

Micah Elliot Halter - a developer, researcher, and bartender

synopsis

micah [--student] [--employee] [--admin systems| databases] [--developer] [--researcher]

description

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.

options

--student

Master of Science in Computer Science - Georgia Institute of Technology - May 2022

* Specialization in Machine
Learning, 4.0 GPA

Bachelor of Science in Computer Science - Georgia Institute of Technology - May 2019

* Concentration in System
Architecture and Theory

          * Dean’s List Fall 2015, Spring 2016, Fall 2016, Fall 2018,
Spring 2019

--employee

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

Georgia Tech Research Institute - 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#

--admin systems

Through work opportunities and personal projects, I have had extensive experience with the configuration, hardening, and maintenance of various Linux distributions, including:

* Arch Linux

          * Red Hat Enterprise Linux

          * Debian, Ubuntu

--admin databases

Through my work experiences I have become skilled in many database languages including MySQL, PostgreSQL, SQLite, and SQL Server. These experiences range from designing a full database schema, administrating and managing an existing database, and writing queries to parse through the data.

--developer

I have worked on several development projects in both work environments and personally using a plethora of different programming languages and paradigms

--researcher

While working at the Georgia Tech Research Institute, I have found that I love being involved with research projects. I enjoy taking charge of open ended questions and exploring new methods and ways of tackling tough problems.

projects

AstroNvim - https://github.com/AstroNvim/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

notes

Outside of the field of computer science I have many hobbies and passions including Ultimate Frisbee, coffee, and music.

At Georgia Tech and the greater Atlanta area, I am a very active member of the Ultimate Frisbee community. This includes playing on multiple competitive teams throughout the years and competing in tournaments nationally and globally.

I have been an avid coffee enthusiast for several years, frequenting many coffee shops, getting to know local coffee roasters and baristas, and hand brewing my own craft coffee.