Resume
Applied Mathematician — PhD, Mathematics
Karleigh Pine, PhD
Applied Mathematician
Traverse City, MI
Mathematics PhD with industry expertise developing machine learning algorithms and mathematical models to provide data-based actionable insights.
Professional Experience
Founder & Mathematician, Pine Technical Insights, LLC.
Dec 2025 – PresentWork with clients to develop custom algorithmic solutions for scientific applications. I provide expertise in simulation and modeling, algorithm development, high-performance computing, technical reporting, and project management.
Senior Member Technical Staff II, Matrix Research Inc.
Oct 2018 – PresentDevelop novel mathematical and AI algorithms on a variety of contracts, including as part of the agile Autonomy Capabilities Team (ACT3) within the Air Force Research Laboratory. I actively research new methods, validate model performance, analyze data, and communicate results with technical and non-technical stakeholders. I hold a security clearance for this role. Some projects I would like to highlight include:
- Development of graphical analysis techniques for validation of agent-based simulation. Preprint at arXiv.
- Design, development, and validation of a resource consumption prediction model for use during infectious disease outbreaks. Incorporates agent-based modeling and compartmental models. Code at github.com/act3-ace/SICO.
- Lead algorithm developer for direction-finding using an array of low-cost RF antennas. Capabilities demonstrated with multiple air/ground tests.
- Multiagent task assignment using graph neural networks (GNNs) and reinforcement learning (RL).
Graduate Research Intern, Air Force Research Laboratory
Summers 2017 & 2018Worked with a team of researchers to develop mathematical theory for applications in sensing and radar as part of the Autonomy Technology Research Center intern program. Results had applications to covariance matrix estimation (for sensing clutter removal) and antenna gain visualization. Received awards for best graduate poster (2017) and student presentation (2018).
Graduate Research Intern, NASA Langley Research Center
Summer 2015Evaluated performance of a biologically-inspired AI software and provided recommendation for use in NASA sensor data problems.
Education
Colorado State University — PhD, Mathematics
2014 – 2018Analyzed mathematically the problem of RF source localization using measurements known as frequency-difference of arrival (FDOA). This problem has complicated geometry, which I was able to analyze and incorporate into algorithms developed in my dissertation and follow-on work.
Colorado State University — M.S., Applied Mathematics
2014 – 2016Central Michigan University — B.S., Applied Mathematics
2010 – 2014Skills
- Development: Python (PyTorch, Pandas, and common scientific computing libraries), Matlab, Git, bash/zsh
- Scientific computing
- Optimization: Linear programming, mixed-integer LP, meta-heuristics, OR-tools
- Signal processing
- Natural language processing
- Graph theory, graph-based modeling
- Data analysis: Regression, clustering
- Mathematical modeling: Dynamical systems, agent-based models, simulation
- Deep learning: Graph neural networks
Publications
- K. Pine, J. Klipfel, J. Bennett, N. Bade, and C. Manasseh, “Social Network Analysis and Validation of an Agent-Based Model.” arXiv, Aug. 09, 2023. doi: 10.48550/arXiv.2308.05256.
- K. Pine, R. Veliche, J. Bennett, and J. Klipfel, “SICO: Simulation for Infection Control Operations.” Journal of Computational Sciences, 2023. Submitted. Code available at github.com/act3-ace/SICO.
- K. C. Pine, S. Pine, and M. Cheney, “The Geometry of Far-Field Passive Source Localization With TDOA and FDOA,” in IEEE Transactions on Aerospace and Electronic Systems, vol. 57, no. 6, pp. 3782–3790, Dec. 2021, doi: 10.1109/TAES.2021.3087804.
- K. R. Servaites & K. Pine, “ACT3 and StreetLight Data: Using StreetLight to battle COVID-19.” [Conference presentation]. Sept. 2021. StreetLight Summit, USA.
- J. Wells, M. Cook, K. Pine, and B. D. Robinson, “Fisher-Rao distance on the covariance cone.” arXiv, Oct. 29, 2020. doi: 10.48550/arXiv.2010.15861.
- K. J. Cameron. “FDOA-Based Passive Source Localization: A Geometric Perspective.” Colorado State University Dissertation. Dec. 2018.
- K. J. Cameron and D. J. Bates, “Geolocation with FDOA measurements via polynomial systems and RANSAC,” 2018 IEEE Radar Conference (RadarConf18), 2018, pp. 0676–0681, doi: 10.1109/RADAR.2018.8378640.