Tyler Hanks
Graduate Research Assistant
Ocala, Florida, United States
Summary
🎓
Top SchoolTyler Hanks is a Computer Science Ph.D. candidate and senior graduate researcher at the University of Florida’s GATAS lab, specializing in applying category theory and programming language theory to optimization, optimal control, and machine learning. With eight years of research experience including three summers at the Air Force Research Lab, he has contributed to published work on neural architecture search, combinatorial planning, and distributed first-order optimization. He writes production-oriented research code, mentors new lab members, and bridges deep theoretical concepts with practical scientific computing workflows. Based in Ocala, FL, Tyler blends formal type-theoretic thinking with hands-on machine learning experimentation, making him adept at turning abstract algebraic techniques into usable optimization tools.
7 years of coding experience
Computer Engineering, Computer Engineering at University of South FloridaDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Florida
English
Github Skills (25)
entropy8
explore8
interval-arithmetic8
julia7
category-theory6
dynamical-systems6
simulation6
theory6
modelica5
petri-net5
algebra5
symbolic-computation4
python4
multiphysics4
chemistry3
Programming languages (4)
Github contributions (5)
elite-hanksorr/OrbitCLone
Nov 2018 - Feb 2022
Cheap OrbitXL ripoff for the sake of dank AI learning
Contributions:41 commits, 1 PR, 29 pushes in 3 years 3 months
dankcheap
AlgebraicJulia/AlgebraicOptimization.jl
May 2024 - Mar 2025
Contributions:2 reviews, 19 PRs, 32 pushes in 10 months
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.