Developing Compositional Approaches to Optimization, Machine Learning, and Control Theory

Email address: t.hanks@ufl.edu

Office: MAE 206

My name is Tyler Hanks, and I am a computer science Ph.D. candidate at the University of Florida. I work as a graduate research assistant, supported by a Graduate Research Fellowship from the National Science Foundation, in the GATAS Lab led by Professor James Fairbanks. My research goal is to make it easier for engineers to specify and solve complex optimization, learning, and control problems and develop end-to-end distributed learning and control pipelines. To achieve this goal, my research primarily focuses on applying category theory and sheaf theory to develop novel frameworks and algorithms for distributed optimization, machine learning, and optimal control. Check out my research projects!

My Research Projects
Shoes

Compositional Semantics of Distributed Optimization

Formalizing how optimization problems compose and solution algorithms to exploit compositional structure.

Shoes

Distributed Optimization on Cellular Sheaves

Developing algorithms and applications for homological programming.

Shoes

Compositional Frameworks for Control Systems

Building complex control problems from simpler pieces and optimal control of coupled systems.

Shoes

Model Exploration and Rewriting

Exploration and rewriting algorithms for general classes of models including neural networks, relational databases, and ODE systems.