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 am working as a Researcher at the Georgia Tech Research Institute.
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
Georgia Tech Research Institute - Research Scientist - Jan 2016-Present
* Lead contributor to research projects sponsored by large entities DARPA, NIH, and ONR * Contributed and participated in white paper and proposal writing to bring in more funding for new and on-going projects * Delivered applied research projects to sponsors such as source code, web applications, and technical reports * Used NetFlow data and machine learning in Python and scikit-learn to detect compromised machines on a network based off known blacklists and whitelists of IP addresses * 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
Through work opportunities and personal projects, I have had extensive experience with the configuration, hardening, and maintenance of various Linux distributions, including:
* Red Hat Enterprise Linux * Debian, Ubuntu * Arch Linux
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.
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.
SemanticModels.jl - https://github.com/jpfairbanks/SemanticModels.jl
* Research funded by the Defense Advanced Research Projects Agency (DARPA) * A category theory approach to defining metamodeling tasks for representing and composing scientific models * A system for extracting semantic information from scientific code and reconciling it with conceptual descriptions to build a knowledge graph
Petri.jl - https://github.com/mehalter/Petri.jl
* A stochastic petri net modeling framework for the Julia programming language
* Research funded by the Office of Naval Research (ONR) * Developed a web application for viewing and analyzing sonar SAS data using Go, Python, and PostgresDB deployed with Docker and Drone.io * Engineered a database for managing scientific experiments to utilize the speed and efficiency of using a rigid relational database, while being flexible enough to handle the changing data requirements of scientific experimentation
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.
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: +1 704 490 9840
GPG: 532C 083C 2D6A 4752 46F1 8639 E10C 6AE7 BF5B 1D1F