The GATAS Lab
Graduations!
The GATAS Lab graduated two PhD students this year! Tyler Hanks and Luke Morris are our first two PhD Graduates.
Applied Category Theory 2025
The GATAS Lab hosted the 8th International Conference on Applied Category Theory here at UF. For more information see the ACT 2025 page.
The GATAS (Generalized Algebraic Techniques Advancing Science) laboratory uses applied category theory to develop novel approaches to scientific computing. We are domain-agnostic, solving problems in dynamics, physics, biology, the life sciences, and industrial engineering. Our group works closely with Evan Patterson’s research group at the Topos Institute to maintain and develop the AlgebraicJulia software ecosystem.
Philosophy
Scientists develop simulations by translating scientific concepts into mathematical models, and then embodying those models in software. We seek to automate this process using category theory. Category theory is a mathematical language rich enough in abstraction to represent any scientific concept, yet pliable enough to manipulate efficiently with a computer. The software in AlgebraicJulia encodes a number of these abstractions; with it, scientists can build powerful, robust, and bespoke scientific models without starting from scratch in each domain.
Explore the lab
Projects
Our current research projects, each composed of multiple publications.
Members
The people of the GATAS Lab — current members, alumni, and mentees.
Publications
The lab’s complete bibliography — journal articles, proceedings, talks, posters, and preprints.
Sponsors
The federal agencies whose grants and contracts support the lab.