projects

Scientific software in quantum computing, manifold optimization, and computational complexity.

work

project thumbnail

pdft

Trainable multilinear bases for image compression, learned by Riemannian optimization in JAX

project thumbnail

Problem Reductions

A Rust library and CLI (pred) for NP-hard problem definitions, reductions, and routing across solvers

ManifoldsGPU.jl

GPU and CUDA acceleration for Riemannian optimization in the JuliaManifolds ecosystem