Skip to content
Itay Kadosh
HomeResearchPublicationsSoftwareAboutCV

Open scientific computing

Research software

Software is part of the research: implementations of the algorithms and mathematical structures behind the manuscripts.

Julia · CPU / NVIDIA GPU

PATHPACK.jl

Sparse algebraic path algorithms expressed through semiring linear algebra.

Algorithms for shortest paths, widest paths, reachability, and related graph problems, with CPU and NVIDIA GPU implementations.

Companion software for Direct Solution of Algebraic Path Problems. Submitted · 2026.

Repository ↗Documentation & interactive examples ↗

Julia · Sparse mathematical computation

CellularSheaves.jl

A library for constructing and computing with cellular sheaves and sheaf Laplacians.

Supports global sections, harmonic extension, and sheaf-based formulations of dynamical systems and coordination problems.

Companion software for A Layered Control Architecture for Multi-Agent Coordination on Cellular Sheaves with a Conic Constrained Harmonic Extension. Submitted · 2026.

Repository ↗Documentation ↗

Get in touch

Contact

itaykadosh@ufl.edu
GitHub ↗Google Scholar ↗LinkedIn ↗
© 2026 Itay KadoshUniversity of Florida · GainesvilleCurriculum vitae →