Kevin M. Neal, PhD
Applied AI engineer & evolutionary biologist
Principal Engineer at Fortegra, with a PhD from UCLA. I build dependable AI systems and pursue independent research in biogeography and computational mathematics.
Work & projects
open to exploreFortegraPrincipal Engineerwork
At Fortegra, I build applied AI systems for insurance workflows, including document-heavy underwriting.
My work spans architecture, document understanding, LLM workflows, evaluation, and production engineering. A recurring challenge is turning complex source material into structured information that people can trace back to evidence and review.
I previously worked on applied AI and document processing at Precedent.
Spadefoot biogeographyClimate, distributions & conservationresearch
My doctoral research explored how genetic variation and environmental differences inform spadefoot conservation. I’m returning to those questions through models of where Spea are recorded. The public project compares climate representations and their geographical predictions, with a working manuscript, released results, and reproducible comparison tables.
Six trianglesAn optimal packing, with replayable certificatesgeometry
An independent computer-assisted optimality proof for a previously known arrangement of six unit equilateral triangles in an equilateral container. The project pairs exact, replayable certificates with an interactive explainer. Lean formalization is in progress; the full proof is not yet formalized in Lean.
Other experiments: LLM watermarking explainer · Lab & games
A bit about me
I trained as an evolutionary biologist and moved into data science and then applied AI engineering after my PhD. I enjoy the work, but I never lost my interest in open-ended research. Building a career and raising a family left little time to pursue it on my own.
Recent reasoning models, paired with agents that can run code, inspect results, and keep working through a problem, have changed what I can take on.
What first caught my attention was the ambitious games people were building with AI. I made one too: MAKE WAY!, a medieval physics playground. Then I started wondering: could these tools do fresh work with my old PhD data?
Seeing AI-assisted mathematical research and formal proofs encouraged me to push further. That curiosity has brought me back to spadefoot biogeography and, unexpectedly, into computational geometry.
That’s what draws me to agentic science: opening up research I couldn’t otherwise find time for, while keeping evidence, uncertainty, reproducibility, and independent criticism at the center of the work.
Publications & writing
ScholarPeer-reviewed articles
- Conservation Genomics of the Threatened Western Spadefoot, Spea hammondii, in Urbanized Southern California Neal, Fisher, Mitrovich & Shaffer · Journal of Heredity
- Genetic structure and environmental niche modeling confirm two evolutionary and conservation units within the western spadefoot (Spea hammondii) Neal, Johnson & Shaffer · Conservation Genetics
Manuscripts & preprints
- A computer-assisted proof of the optimal packing of six equilateral triangles Computational preprint