Summary
Trever Hallock is a Senior Machine Learning Engineer based in the Denver area with 12 years of software and research experience, recently completing a Ph.D. in applied mathematics focused on derivative-free optimization. He builds efficient algorithms and production ML systems—blending research-grade numerical methods with practical engineering from embedded Linux to cloud-deployed services. His background spans embedded systems, A/B testing platforms, and statistical tuning at companies like Time Warner Cable, Charter, and Capital One, giving him a rare mix of low-level performance optimization and high-level model deployment experience. Curious across NLP, automated theorem proving, compilers, and reverse engineering, he brings interdisciplinary rigor and a penchant for clear technical communication honed as a grad instructor.
12 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Applied Mathematics, Doctor of Philosophy (Ph.D.), Applied Mathematics at University of Colorado Denver
Bachelor’s Degree, Mathematics and Computer Science, 3.83, Bachelor’s Degree, Mathematics and Computer Science, 3.83 at University of Wisconsin-La Crosse
English