Applied Category Theory research at the Topos Institute
Stanford PhD 2021
-
Topos Institute
- https://krisb.org
- @ksb_id
AlgebraicJulia
AlgebraicJulia
An Ecosystem of Software Based on Generalized Algebra and Category Theory in Julia
Tyler Hanks
tylerhanks
UF Research Assistant interested in type theory, scientific computing, and machine learning.
Florida
Nick Jensen
Bjartur108
PhD student at UC Davis, studying how gut bacteria digest complex carbohydrates and how they interact with one another and their human hosts.
Davis, CA
TanviC
tanvidc
PhD candidate at Stanford University. Data Science is joy :)
Stanford University Palo Alto, California