Developed the AlgebraicJulia ecosystem for applying algebraic methods in computer science and scientific computing using Julia
Created SemanticModels.jl, which uses applied category theory to model scientific modeling practices
Led the JuliaGraphs organization and its flagship project LightGraphs.jl, advancing graph theory in the Julia ecosystem
Contributed to the Stinger Graph Analysis system for high-speed dynamic graph processing
Delivered talks at JuliaCon, MIT CSAIL Seminar, and other venues
Published works including 'Compositional Scientific Computing with Catlab and SemanticModels'
Research Experience
Previously worked at the Georgia Tech Research Institute (GTRI) in the High Performance Computing and Data Analytics Branch
Transitioned from graph analytics and applied graph algorithms to knowledge representation and mathematical/computational formalisms in scientific computing and data science
Developed a line of business in algebraic methods in computer science and applied category theory
Core developer of the Julia package Catlab (with Evan Patterson)
Core developer of the Julia package LightGraphs (with Seth Bromberger)
Background
Assistant Professor in the Department of Computer and Information Science and Engineering at the University of Florida
Research interests include algebraic and combinatorial methods in computer science and scientific computing
Current projects include the development of the AlgebraicJulia software ecosystem
Research focuses on numerical, statistical, and streaming algorithms for data analysis
Applications include complex networks, online media, and observational medical data