I’ve started the AlgebraicJulia blog with Evan Patterson and the rest of the AlgebraicJulia team, so you can find my recent essays there. A particularly interesting piece is some work with Sophie Libkind on compositional dynamical systems.
I am an Assistant Professor in the Department of Computer and Information Science and Engineering at the University of Florida. My research interests include algebraic and combinatorial methods in computer science and scientific computing. Current projects include the development of the AlgebraicJulia software ecosystem. My faculty page
I earned my Ph.D in Computational Science and Engineering at Georgia Tech. My research focuses on numerical, statistical, and streaming algorithms for data analysis. The applications include complex networks, online media, and observational medical data in 2016.
My CV can be found in HTML or PDF For information on my Programming and Software related activities, you can go to my Github page.
Previously, I worked at the Georgia Tech Research Institute in the High Performance Computing and Data Analytics Branch. During my time at GTRI I transitioned from graph analytics and applied graph algorithms to knowledge representation and then mathematical and computational formalisms in scientific computing and data science. This transition led me to develop a line of business in algebraic methods in computer science and applied category theory.
I am a core developer of the Julia Packages, Catlab with Evan Patterson, and LightGraphs with Seth Bromberger.
For more details see about me
PhD in Computational Science and Engineering Engineering, 2016
Georgia Institute of Technology
BS in Mathematics, 2012
University of Florida
Here are some of my recent publications for a complete listing you can find All Publications or All Conference Publications and All Journal Publications.
Fri, May 7, 2021, JuliaCon 2020
Wed, Jul 29, 2020, JuliaCon 2020
Fri, Jul 19, 2019, JuliaCon 2019
Sun, Mar 31, 2019, UF Data Science Institute Spring Symposium
Wed, Oct 24, 2018, MIT CSAIL Seminar
Thu, Jun 22, 2017, JuliaCon 2017
Mon, Mar 21, 2016, Dissertation Defense
Mon, Mar 21, 2016, Copper Mountain Conference on Iterative Methods
Tue, Apr 21, 2015, Thesis Proposal
Tue, Apr 1, 2014, Atlanta Golang Meetup
I’ve started the AlgebraicJulia blog with Evan Patterson and the rest of the AlgebraicJulia team, so you can find my recent essays there. A particularly interesting piece is some work with Sophie Libkind on compositional dynamical systems.
My colleagues Nigel Campbell, Evan Stuart, Trevor Goodyear, Winston Messer, and I are happy to present our platform for remote evidence collection from volunteers. Digital Witness is an open source platform for evidence submission. Volunteers can upload media files from their phones while reducing the privacy invasion necessary with full disk capture currently used by law enforcement officers.
The Office of the Director of National Intelligence sponsored a challenge competition. I lead a team at GTRI including Natalie Fitch, and Frank Bradfield to win a prize for our entry “Credibility Development with Knowledge Graphs.”
Challenge Website XAMINE
Software and Data
AlgebraicJulia is an ecosystem of software tools written in Julia to explore and promote the application of algebraic methods in computer science and scientific computing.
SemanticModels.jl is a package for representing scientific models at the semantic level to enable augmented scientific reasoning. It applies techniques from applied category theory to build mathematical models of scientific modeling practices.
JuliaGraphs is the primary organization dedicated to the advancement of graph theory and algorithms in the Julia Programming language. The flagship project is LightGraphs.jl the premier graph library in the Julia Ecosystem.
Dynamic graphs are all around us. Social networks containing interpersonal relationships and communication patterns. Information on the Internet, Wikipedia, and other datasources. Disease spread networks and bioinformatics problems. Business intelligence and consumer behavior. The right software can help to understand the structure and membership of these networks and many others as they change at speeds of thousands to millions of updates per second.