Give
College of Natural & Agricultural Sciences
Graduate Student (He/Him)
Research Interests: Category theory through the lenses of Algebra, Topology, and Logic. Some interest in Computer Science and Proof assistants.
Faculty Advisor: TBD
Website: https://itarios.github.io/