William Harvey
Research Scientist at Transportation Research Center Inc.
Dublin, Ohio, United States
Summary
👤
Senior🎓
Top SchoolWilliam Harvey is a research scientist, mathematician, and software engineer with a decade of experience translating advanced mathematical theory into robust production systems across automotive, cloud, and scientific domains. He builds end-to-end computer vision and data-integration pipelines, designs provably efficient algorithms (including a sub-quadratic Reeb graph algorithm), and applies topology, category theory, and algorithmic information theory to practical problems like vehicle maneuver detection and streaming anomaly monitoring. William has led engineering teams, developed production-grade Python and Scala libraries (including ZIO.py and high-assurance tooling for data science), and architected concurrent/nano-actor runtimes and effect systems informed by linear logic. His work blends research rigor with operational excellence: deploying LLM-powered services, high-throughput distributed analytics, and fault-tolerant cloud infrastructure. Based in Dublin, Ohio, he pairs a PhD-level research background with deep hands-on experience shipping reliable, type-safe systems. An interesting through-line: he repeatedly finds new dimensionality-reduction and data-structural primitives (from Morse-theory-based reductions to succinct data structures) that unlock interpretable analysis at scale.
10 years of coding experience
17 years of employment as a software developer
BS Computer Science, BS Computer Science at University of WashingtonPhD, PhD at The Ohio State University
Russian
Github Skills (43)
idris10
generic-programming10
boto9
concurrent9
asynchronous9
scala9
command-line9
functional-programming9
cli9
stm9
effects8
typesafe8
aws8
zio8
java8
Programming languages (5)
Github contributions (5)
miiohio/ziopy
Oct 2019 - Aug 2022
ZIO for Python
Contributions:4 releases, 34 commits, 37 PRs in 2 years 11 months
pythonzio
harveywi/zio-cli
Oct 2021 - May 2022
Rapidly build powerful command-line applications powered by ZIO
Contributions:29 pushes, 6 branches in 6 months
ziocli-appsubcommandscli-frameworkargument-parsing
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.