Micah Elliot Halter - a developer, researcher, and bartender
micah [--student] [--employee] [--admin systems| databases] [--developer] [--researcher]
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.
Master of Science in Computer Science - Georgia Institute of Technology - May 2022
* Specialization in Machine
Learning, 4.0 GPABachelor 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 2019Georgia 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 JavaScriptGeorgia 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 projectsGeorgia 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
dataThe 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#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, UbuntuThrough 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.
I have worked on several development projects in both work environments and personally using a plethora of different programming languages and paradigms
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.
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
pagesOutside 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.
Growing up I was very involved with band and played many instruments including piano and flute. Nowadays I don’t play very often, but love to attend concerts and live music events.
Phone: (seven zero four) 490 9840
Email: micah@mehalter.com
GPG: BEB8 056E 542A 33EB 8A4B 081F 723F 998E 98D9 3D50
GPG: 4AC9 4692 18E3 1BCE 147F 1060 E51C 3EA3 BEB5 D4A9
GPG: DB47 5A0D 9F9A ED06 DFE0 2CEB 7246 AEFC D135 1462
Website: https://mehalter.com